Pglobal (wip adapt to algebraic universes) #293
garesnix-action-coq-8.20.yml
on: pull_request_target
coq
40s
hierarchy-builder
2m 7s
deriving
1m 43s
fourcolor
1m 43s
mathcomp-single
1m 39s
mathcomp-word
1m 45s
reglang
1m 36s
mathcomp-analysis
0s
mathcomp-classical
0s
interval
odd-order
0s
Annotations
13 errors
|
hierarchy-builder
Process completed with exit code 1.
|
|
coq-elpi
Process completed with exit code 1.
|
|
reglang
Process completed with exit code 1.
|
|
mathcomp-single
Process completed with exit code 1.
|
|
mathcomp-finmap
Process completed with exit code 1.
|
|
mathcomp-zify
Process completed with exit code 1.
|
|
fourcolor
Process completed with exit code 1.
|
|
mathcomp-word
Process completed with exit code 1.
|
|
deriving
Process completed with exit code 1.
|
|
coquelicot
Process completed with exit code 1.
|
|
mathcomp-bigenough
Process completed with exit code 1.
|
|
mathcomp
Process completed with exit code 1.
|
|
QuickChick
Process completed with exit code 1.
|