Skip to content
Coq Build

Enhance proportionality #118

Sign in to view logs

Enhance proportionality

Enhance proportionality #118

Triggered via pull request January 21, 2025 18:10
@wjbswjbs
synchronize #47
feature-prop-constant
Status Failure
Total duration 16m 43s
Artifacts –

coq-action.yml

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

Annotations

1 error and 27 warnings
build (8.17, default): src/CoreData/Proportional.v#L724
The default value for instance locality is currently "local" in a
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#L239
Notation Nat.div_0_l is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
build (8.17, default): src/CoreData/SemanticCore.v#L240
Notation Nat.mod_0_l is deprecated since 8.17.
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#L239
Notation Nat.div_0_l is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L239
Notation Nat.div_0_l is deprecated since 8.17.
build (8.18, default): src/CoreData/SemanticCore.v#L240
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
build (8.16, default): src/CoreData/Proportional.v#L724
The default value for instance locality is currently "local" in a