Skip to content
docker CI

separate synterp phase #1163

Sign in to view logs

separate synterp phase

separate synterp phase #1163

Triggered via pull request December 4, 2023 09:58
@garesgares
synchronize #406
coq-elpi-2
Status Failure
Total duration 3m 33s
Artifacts –

main.yml

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

Annotations

15 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#L238
This command does not support this attribute: synterp.
opam (8.17): structures.v#L454
This command does not support this attribute: synterp.
opam (8.17): structures.v#L455
This command does not support this attribute: synterp.
opam (8.17): structures.v#L456
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#L238
This command does not support this attribute: synterp.
opam (8.16): structures.v#L454
This command does not support this attribute: synterp.
opam (8.16): structures.v#L455
This command does not support this attribute: synterp.
opam (8.16): structures.v#L456
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#L238
This command does not support this attribute: synterp.
opam (8.18): structures.v#L454
This command does not support this attribute: synterp.
opam (8.18): structures.v#L455
This command does not support this attribute: synterp.
opam (8.18): structures.v#L456
This command does not support this attribute: synterp.