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