Pglobal (wip adapt to algebraic universes) #294
garesnix-action-coq-8.20.yml
on: pull_request_target
coq
45s
hierarchy-builder
1m 44s
deriving
1m 37s
fourcolor
1m 42s
mathcomp-single
1m 36s
mathcomp-word
1m 37s
reglang
1m 41s
mathcomp-analysis
0s
mathcomp-classical
0s
interval
0s
odd-order
0s
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.
|
|
mathcomp-single
Process completed with exit code 1.
|
|
mathcomp
Process completed with exit code 1.
|
|
mathcomp-zify
Process completed with exit code 1.
|
|
deriving
Process completed with exit code 1.
|
|
mathcomp-finmap
Process completed with exit code 1.
|
|
reglang
Process completed with exit code 1.
|
|
fourcolor
Process completed with exit code 1.
|
|
coquelicot
Process completed with exit code 1.
|
|
mathcomp-bigenough
Process completed with exit code 1.
|
|
QuickChick
Process completed with exit code 1.
|