Bump etc/coq-scripts from 8b66ebe to bbe2c4c
#4214
Triggered via pull request
October 6, 2023 16:50
dependabot[bot]
Status
Success
Total duration
1h 6m 54s
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.15.2
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.14.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/
|