Skip to content

Merge pull request #67 from CohenCyril/meta-2.0.2 #61

Merge pull request #67 from CohenCyril/meta-2.0.2

Merge pull request #67 from CohenCyril/meta-2.0.2 #61

Triggered via push December 9, 2024 21:49
Status Failure
Total duration 1m 7s
Artifacts
mathcomp-bigenough
0s
mathcomp-bigenough
coq-elpi
0s
coq-elpi
mathcomp-zify
0s
mathcomp-zify
mathcomp-finmap
0s
mathcomp-finmap
mathcomp-real-closed
0s
mathcomp-real-closed
hierarchy-builder
0s
hierarchy-builder
mathcomp-algebra-tactics
0s
mathcomp-algebra-tactics
multinomials
0s
multinomials
mathcomp-abel
0s
mathcomp-abel
mathcomp
0s
mathcomp
mathcomp-apery
0s
mathcomp-apery
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
coq
Process completed with exit code 1.
coq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636