Skip to content
Coq Build

Enhance proportionality #123

Sign in to view logs

Enhance proportionality

Enhance proportionality #123

Triggered via pull request January 24, 2025 23:00
@wjbswjbs
synchronize #47
feature-prop-constant
Status Success
Total duration 16m 48s
Artifacts –

coq-action.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

26 warnings
build (8.18, default)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (8.18, default): src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
build (8.18, default): src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
build (8.18, default): src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
build (8.18, default): src/CoreData/SemanticCore.v#L241
Notation Nat.div_0_l is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L241
Notation Nat.div_0_l is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L241
Notation Nat.div_0_l is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L241
Notation Nat.div_0_l is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L241
Notation Nat.div_0_l is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L241
Notation Nat.div_0_l is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L242
Notation Nat.mod_0_l is deprecated since 8.17.
build (8.17, default)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (8.17, default): src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
build (8.17, default): src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
build (8.17, default): src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
build (8.17, default): src/CoreData/SemanticCore.v#L241
Notation Nat.div_0_l is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L241
Notation Nat.div_0_l is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L241
Notation Nat.div_0_l is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L241
Notation Nat.div_0_l is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L241
Notation Nat.div_0_l is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L241
Notation Nat.div_0_l is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L242
Notation Nat.mod_0_l is deprecated since 8.17.
build (8.16, default)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (8.16, default): src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
build (8.16, default): src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead
build (8.16, default): src/CoreData/SemanticCore.v#L99
Notation hadamard_sa is deprecated. Use hadamard_hermitian instead