Skip to content

separate synterp phase #1176

separate synterp phase

separate synterp phase #1176

Triggered via pull request December 5, 2023 13:27
@garesgares
synchronize #406
coq-elpi-2
Status Failure
Total duration 3m 31s
Artifacts

main.yml

on: pull_request
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.