Skip to content

#55: Fix broken link and typo in README #35

#55: Fix broken link and typo in README

#55: Fix broken link and typo in README #35

Re-run triggered February 2, 2024 17:15
Status Failure
Total duration 24m 4s
Artifacts

coq-action.yml

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

Annotations

51 warnings
build-voqc (dev, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-sqir (dev, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-sqir (8.17, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-voqc (8.17, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-sqir (8.16, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-sqir (8.16, default): SQIR/UnitarySem.v#L567
The default value for rewriting hint locality is currently "local"
build-sqir (8.16, default): SQIR/UnitarySem.v#L569
The default value for rewriting hint locality is currently "local"
build-sqir (8.16, default): SQIR/UnitaryOps.v#L55
The default value for rewriting hint locality is currently "local"
build-sqir (8.16, default): SQIR/UnitaryOps.v#L390
The default value for rewriting hint locality is currently "local"
build-sqir (8.16, default): SQIR/UnitaryOps.v#L398
The default value for rewriting hint locality is currently "local"
build-sqir (8.16, default): SQIR/UnitaryOps.v#L586
The default value for rewriting hint locality is currently "local"
build-sqir (8.16, default): SQIR/GateDecompositions.v#L71
The default value for rewriting hint locality is currently "local"
build-sqir (8.15, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-sqir (8.15, default): SQIR/UnitarySem.v#L567
The default value for rewriting hint locality is currently "local"
build-sqir (8.15, default): SQIR/UnitarySem.v#L569
The default value for rewriting hint locality is currently "local"
build-sqir (8.15, default): SQIR/UnitaryOps.v#L55
The default value for rewriting hint locality is currently "local"
build-sqir (8.15, default): SQIR/UnitaryOps.v#L390
The default value for rewriting hint locality is currently "local"
build-sqir (8.15, default): SQIR/UnitaryOps.v#L398
The default value for rewriting hint locality is currently "local"
build-sqir (8.15, default): SQIR/UnitaryOps.v#L586
The default value for rewriting hint locality is currently "local"
build-sqir (8.15, default): SQIR/GateDecompositions.v#L71
The default value for rewriting hint locality is currently "local"
build-sqir (8.14, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-sqir (8.14, default): SQIR/UnitarySem.v#L567
The default value for rewriting hint locality is currently "local"
build-sqir (8.14, default): SQIR/UnitarySem.v#L569
The default value for rewriting hint locality is currently "local"
build-sqir (8.14, default): SQIR/UnitaryOps.v#L55
The default value for rewriting hint locality is currently "local"
build-sqir (8.14, default): SQIR/UnitaryOps.v#L390
The default value for rewriting hint locality is currently "local"
build-sqir (8.14, default): SQIR/UnitaryOps.v#L398
The default value for rewriting hint locality is currently "local"
build-sqir (8.14, default): SQIR/UnitaryOps.v#L586
The default value for rewriting hint locality is currently "local"
build-sqir (8.14, default): SQIR/GateDecompositions.v#L71
The default value for rewriting hint locality is currently "local"
build-voqc (8.16, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-voqc (8.16, default): VOQC/UnitaryListRepresentation.v#L445
Notation beq_nat_false is deprecated since 8.16.
build-voqc (8.16, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.16, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.16, default): VOQC/ChangeRotationBasis.v#L407
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.16, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.16, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.16, default): VOQC/ChangeRotationBasis.v#L420
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
build-voqc (8.16, default): VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
build-voqc (8.16, default): VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
build-voqc (8.16, default): VOQC/ChangeRotationBasis.v#L855
Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
build-sqir (8.13, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-voqc (8.15, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-voqc (8.15, default): VOQC/ChangeRotationBasis.v#L1405
The default value for rewriting hint locality is currently "local"
build-voqc (8.15, default): VOQC/ChangeRotationBasis.v#L1406
The default value for rewriting hint locality is currently "local"
build-voqc (8.15, default): VOQC/NonUnitaryListRepresentation.v#L179
The default value for rewriting hint locality is currently "local"
build-sqir (8.12, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-voqc (8.14, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-voqc (8.14, default): VOQC/ChangeRotationBasis.v#L1405
The default value for rewriting hint locality is currently "local"
build-voqc (8.14, default): VOQC/ChangeRotationBasis.v#L1406
The default value for rewriting hint locality is currently "local"
build-voqc (8.14, default): VOQC/NonUnitaryListRepresentation.v#L179
The default value for rewriting hint locality is currently "local"
build-voqc (8.13, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-voqc (8.12, default)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.