Skip to content
docker CI

[CI] Add Coq 8.19 #1179

Sign in to view logs

[CI] Add Coq 8.19

[CI] Add Coq 8.19 #1179

Triggered via pull request January 3, 2024 11:10
@proux01proux01
synchronize #409
proux01:ci_coq819
Status Failure
Total duration 3m 28s
Artifacts –

main.yml

on: pull_request
Matrix: opam
release
0s
release
Fit to window
Zoom out
Zoom in

Annotations

18 warnings
opam (8.16)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
opam (8.16): structures.v#L60
This command does not support this attribute: interp.
opam (8.16): structures.v#L238
This command does not support this attribute: synterp.
opam (8.16): structures.v#L460
This command does not support this attribute: synterp.
opam (8.16): structures.v#L461
This command does not support this attribute: synterp.
opam (8.16): structures.v#L462
This command does not support this attribute: synterp.
opam (8.18)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
opam (8.18): structures.v#L60
This command does not support this attribute: interp.
opam (8.18): structures.v#L238
This command does not support this attribute: synterp.
opam (8.18): structures.v#L460
This command does not support this attribute: synterp.
opam (8.18): structures.v#L461
This command does not support this attribute: synterp.
opam (8.18): structures.v#L462
This command does not support this attribute: synterp.
opam (8.17)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
opam (8.17): structures.v#L60
This command does not support this attribute: interp.
opam (8.17): structures.v#L238
This command does not support this attribute: synterp.
opam (8.17): structures.v#L460
This command does not support this attribute: synterp.
opam (8.17): structures.v#L461
This command does not support this attribute: synterp.
opam (8.17): structures.v#L462
This command does not support this attribute: synterp.