Skip to content
docker CI

separate synterp phase #1167

Sign in to view logs

separate synterp phase

separate synterp phase #1167

Triggered via pull request December 4, 2023 13:07
@garesgares
synchronize #406
coq-elpi-2
Status Failure
Total duration 3m 15s
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#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.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#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.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#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.