Skip to content

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

Adapt to math-comp/math-comp#1237

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

Triggered via pull request July 8, 2024 09:24
@pi8027pi8027
synchronize #93
Status Failure
Total duration 4m 59s
Artifacts

nix-action-coq8.19+mcmathcomp-2.2.0.yml

on: pull_request_target
mathcomp-bigenough
35s
mathcomp-bigenough
mathcomp-real-closed
35s
mathcomp-real-closed
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
mathcomp-abel
Process completed with exit code 1.
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/