Skip to content

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

Adapt to math-comp/math-comp#1237

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

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

nix-action-coqmaster+mcmaster.yml

on: pull_request_target
mathcomp-bigenough
37s
mathcomp-bigenough
hierarchy-builder
0s
hierarchy-builder
mathcomp-real-closed
0s
mathcomp-real-closed
mathcomp-abel
0s
mathcomp-abel
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
mathcomp-bigenough
Process completed with exit code 1.
coq-elpi
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/
coq-elpi
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/