fix cat #291
Triggered via pull request
September 15, 2025 13:14
CohenCyril
CohenCyril
synchronize
#449
Status
Failure
Total duration
51m 48s
Artifacts
–
nix-action-coq-8.20.yml
on: pull_request_target
coq
41s
hierarchy-builder
44s
deriving
6m 35s
fourcolor
24m 54s
mathcomp-single
9m 4s
mathcomp-word
8m 7s
reglang
1m 45s
mathcomp-analysis
28m 54s
mathcomp-classical
3m 28s
interval
2m 36s
odd-order
1m 37s
Annotations
2 errors
|
mathcomp-real-closed
Process completed with exit code 1.
|
|
odd-order
Process completed with exit code 1.
|