Pglobal (wip adapt to algebraic universes) #321
Triggered via pull request
November 6, 2025 14:44
CohenCyril
CohenCyril
synchronize
#545
Status
Failure
Total duration
16m 55s
Artifacts
–
nix-action-coq-8.20.yml
on: pull_request_target
coq
53s
hierarchy-builder
2m 3s
deriving
1m 39s
fourcolor
1m 41s
mathcomp-single
1m 39s
mathcomp-word
1m 48s
reglang
1m 41s
mathcomp-analysis
mathcomp-classical
0s
interval
0s
odd-order
Annotations
13 errors
|
hierarchy-builder
Process completed with exit code 1.
|
|
coq-elpi
Process completed with exit code 1.
|
|
mathcomp-word
Process completed with exit code 1.
|
|
coquelicot
Process completed with exit code 1.
|
|
fourcolor
Process completed with exit code 1.
|
|
deriving
Process completed with exit code 1.
|
|
mathcomp
Process completed with exit code 1.
|
|
mathcomp-single
Process completed with exit code 1.
|
|
mathcomp-finmap
Process completed with exit code 1.
|
|
mathcomp-bigenough
Process completed with exit code 1.
|
|
mathcomp-zify
Process completed with exit code 1.
|
|
reglang
Process completed with exit code 1.
|
|
QuickChick
Process completed with exit code 1.
|