Skip to content
Coq Build

Enhance proportionality #111

Sign in to view logs

Enhance proportionality

Enhance proportionality #111

Triggered via pull request January 16, 2025 03:23
@wjbswjbs
opened #47
feature-prop-constant
Status Failure
Total duration 18m 37s
Artifacts –

coq-action.yml

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

Annotations

3 errors and 26 warnings
build (8.18, default): src/CoreData/Proportional.v#L36
The variable C1_nonzero was not found in the current environment.
build (8.17, default): src/CoreData/Proportional.v#L36
The variable C1_nonzero was not found in the current environment.
build (8.16, default): src/CoreData/Proportional.v#L36
The reference C1_nonzero was not found in the current environment.
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/QlibTemp.v#L41
Notation S_O_plus_INR is deprecated since 8.19.
build (8.18, default): src/CoreData/QlibTemp.v#L41
Notation S_O_plus_INR is deprecated since 8.19.
build (8.18, default): src/CoreData/QlibTemp.v#L41
Notation S_O_plus_INR is deprecated since 8.19.
build (8.18, default): src/CoreData/QlibTemp.v#L142
Notation double is deprecated since 8.19. Use Rplus_diag.
build (8.18, default): src/CoreData/QlibTemp.v#L142
Notation double is deprecated since 8.19. Use Rplus_diag.
build (8.18, default): src/CoreData/QlibTemp.v#L142
Notation double is deprecated since 8.19. Use Rplus_diag.
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.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.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