Skip to content

Make the code compatible with the new elpi file resolver #1248

Make the code compatible with the new elpi file resolver

Make the code compatible with the new elpi file resolver #1248

Triggered via pull request September 20, 2024 11:30
Status Success
Total duration 5m 16s
Artifacts

main.yml

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

Annotations

16 warnings
opam (8.19)
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.19)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
opam (8.19): examples/demo2/stage10.v#L4
Hiding binding of key Q to Q_scope
opam (8.19): examples/demo2/stage10.v#L233
The default and global localities for this command outside sections
opam (8.19): examples/demo2/stage11.v#L3
Hiding binding of key Q to Q_scope
opam (8.19): examples/demo2/stage11.v#L364
The default and global localities for this command outside sections
opam (8.19): examples/Coq2020_material/CoqWS_expansion/withoutHB.v#L10
The format modifier has no effect for only-parsing notations.
opam (8.19): tests/non_forgetful_inheritance.v#L35
Could not enable unknown warning HB.non-forgetful-inheritance
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)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
opam (8.18): examples/demo2/stage10.v#L4
Hiding binding of key Q to Q_scope
opam (8.18): examples/demo2/stage10.v#L233
The default and global localities for this command outside sections
opam (8.18): examples/demo2/stage11.v#L3
Hiding binding of key Q to Q_scope
opam (8.18): examples/demo2/stage11.v#L364
The default and global localities for this command outside sections
opam (8.18): examples/Coq2020_material/CoqWS_expansion/withoutHB.v#L10
The format modifier has no effect for only-parsing notations.
opam (8.18): tests/non_forgetful_inheritance.v#L35
Could not enable unknown warning HB.non-forgetful-inheritance