Skip to content
docker CI

Merge pull request #406 from math-comp/coq-elpi-2 #1177

Sign in to view logs

Merge pull request #406 from math-comp/coq-elpi-2

Merge pull request #406 from math-comp/coq-elpi-2 #1177

Triggered via push December 29, 2023 13:57
@garesgares
pushed 5978ba7
master
Status Failure
Total duration 3m 25s
Artifacts –

main.yml

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

Annotations

18 warnings
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.
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.