Skip to content
CI

Fixes for QuantumLib 1.6.0 and performance improvements #47

Sign in to view logs

Fixes for QuantumLib 1.6.0 and performance improvements

Fixes for QuantumLib 1.6.0 and performance improvements #47

Triggered via pull request January 20, 2025 22:13
@wjbswjbs
synchronize #61
wjbs:main
Status Failure
Total duration 12m 32s
Artifacts –

coq-action.yml

on: pull_request
Matrix: build-sqir
Matrix: build-voqc
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 25 warnings
build-sqir (8.17, default): SQIR/UnitaryOps.v#L1051
Tactic failure: Cannot solve this goal.
build-sqir (8.16, default): SQIR/UnitaryOps.v#L1051
Tactic failure: Cannot solve this goal.
build-voqc (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-sqir (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-voqc (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-sqir (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-sqir (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-sqir (8.18, default): SQIR/GateDecompositions.v#L105
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L105
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L105
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L109
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L109
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L109
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L118
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L118
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-sqir (8.18, default): SQIR/GateDecompositions.v#L118
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (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-voqc (8.18, default): VOQC/UnitaryListRepresentation.v#L1348
Notation perm_to_matrix_Mmult is deprecated.
build-voqc (8.18, default): VOQC/UnitaryListRepresentation.v#L1348
Notation perm_to_matrix_Mmult is deprecated.
build-voqc (8.18, default): VOQC/UnitaryListRepresentation.v#L1348
Notation perm_to_matrix_Mmult is deprecated.
build-voqc (8.18, default): VOQC/UnitaryListRepresentation.v#L1348
Notation perm_to_matrix_Mmult is deprecated.
build-voqc (8.18, default): VOQC/UnitaryListRepresentation.v#L1348
Notation perm_to_matrix_Mmult is deprecated.
build-voqc (8.18, default): VOQC/UnitaryListRepresentation.v#L1348
Notation perm_to_matrix_Mmult is deprecated.
build-voqc (8.18, default): VOQC/UnitaryListRepresentation.v#L1348
Notation perm_to_matrix_Mmult is deprecated.
build-voqc (8.18, default): VOQC/UnitaryListRepresentation.v#L1348
Notation perm_to_matrix_Mmult is deprecated.
build-voqc (8.18, default): VOQC/ChangeRotationBasis.v#L339
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.
build-voqc (8.18, default): VOQC/ChangeRotationBasis.v#L339
Notation Ropp_div is deprecated since 8.19. Use Rdiv_opp_l.