Skip to content

Adapt to math-comp/math-comp#1237 #31

Adapt to math-comp/math-comp#1237

Adapt to math-comp/math-comp#1237 #31

Triggered via pull request July 15, 2024 21:46
@pi8027pi8027
synchronize #93
Status Success
Total duration 7m 38s
Artifacts

nix-action-coq8.18+mcmathcomp-2.1.0.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
coq
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
mathcomp-bigenough
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
mathcomp-real-closed
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
mathcomp-abel
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/