Skip to content

Merge pull request #437 from Tvallejos/doc-how-to-mathcomp #1238

Merge pull request #437 from Tvallejos/doc-how-to-mathcomp

Merge pull request #437 from Tvallejos/doc-how-to-mathcomp #1238

Triggered via push July 26, 2024 07:56
Status Success
Total duration 5m 7s
Artifacts

main.yml

on: push
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 uses Node.js version which is deprecated 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 uses Node.js version which is deprecated 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