Pglobal (wip adapt to algebraic universes) #323
Triggered via pull request
November 6, 2025 15:49
CohenCyril
CohenCyril
synchronize
#545
Status
Failure
Total duration
7m 38s
Artifacts
–
nix-action-coq-8.20.yml
on: pull_request_target
coq
40s
hierarchy-builder
1m 49s
deriving
2m 46s
fourcolor
1m 34s
mathcomp-single
2m 44s
mathcomp-word
1m 37s
reglang
1m 40s
mathcomp-analysis
0s
mathcomp-classical
interval
odd-order
0s
Annotations
13 errors
|
coq-elpi
Process completed with exit code 1.
|
|
hierarchy-builder
Process completed with exit code 1.
|
|
fourcolor
Process completed with exit code 1.
|
|
coquelicot
Process completed with exit code 1.
|
|
mathcomp
Process completed with exit code 1.
|
|
reglang
Process completed with exit code 1.
|
|
mathcomp-zify
Process completed with exit code 1.
|
|
mathcomp-finmap
Process completed with exit code 1.
|
|
deriving
Process completed with exit code 1.
|
|
mathcomp-word
Process completed with exit code 1.
|
|
mathcomp-single
Process completed with exit code 1.
|
|
mathcomp-bigenough
Process completed with exit code 1.
|
|
QuickChick
Process completed with exit code 1.
|