Skip to content
Coq Build

Add peephole optimization #106

Sign in to view logs

Add peephole optimization

Add peephole optimization #106

Re-run triggered July 12, 2024 03:03
@adrianlehadrianleh
#45
circuit-proof
Status Success
Total duration 21m 26s
Artifacts –

coq-action.yml

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

Annotations

23 warnings
build (8.16, default)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (8.18, default)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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#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.17, default)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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.17, default): src/CoreData/SemanticCore.v#L240
Notation Nat.mod_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.17, default): src/CoreData/SemanticCore.v#L240
Notation Nat.mod_0_l is deprecated since 8.17.