Skip to content

Added 8.17 to CI

Added 8.17 to CI #99

Triggered via pull request February 5, 2024 06:36
Status Success
Total duration 20m 51s
Artifacts

coq-action.yml

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

Annotations

23 warnings
build (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 (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.
build (8.18, 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 (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.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/.