Merge pull request #566 from CohenCyril/blacklist #338
CohenCyrilnix-action-coq-8.20.yml
on: push
coq
27s
hierarchy-builder
21s
deriving
1m 24s
fourcolor
1m 22s
mathcomp-single
8m 56s
mathcomp-word
1m 13s
reglang
1m 17s
mathcomp-analysis
mathcomp-classical
0s
interval
0s
odd-order
0s
Annotations
10 errors
|
mathcomp
Process completed with exit code 1.
|
|
fourcolor
Process completed with exit code 1.
|
|
mathcomp-zify
Process completed with exit code 1.
|
|
mathcomp-bigenough
Process completed with exit code 1.
|
|
deriving
Process completed with exit code 1.
|
|
reglang
Process completed with exit code 1.
|
|
mathcomp-finmap
Process completed with exit code 1.
|
|
mathcomp-word
Process completed with exit code 1.
|
|
coquelicot
Process completed with exit code 1.
|
|
QuickChick
Process completed with exit code 1.
|