[sp2019latest] [CI] Drop Coq < 8.16 #4225
Triggered via pull request
October 22, 2023 17:05
Status
Success
Total duration
1h 6m 42s
Artifacts
–
Annotations
3 warnings
master
The following actions uses node12 which is deprecated and will be forced to run on node16: snickerbockers/submodules-init@v4. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
8.17.1
The following actions uses node12 which is deprecated and will be forced to run on node16: snickerbockers/submodules-init@v4. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
8.16.1
The following actions uses node12 which is deprecated and will be forced to run on node16: snickerbockers/submodules-init@v4. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|