Merge pull request #564 from math-comp/saturate-export #319
garesnix-action-coq-8.20.yml
on: push
coq
26s
hierarchy-builder
23s
deriving
1m 17s
fourcolor
1m 21s
mathcomp-single
8m 50s
mathcomp-word
1m 17s
reglang
1m 19s
mathcomp-analysis
0s
mathcomp-classical
0s
interval
0s
odd-order
0s
Annotations
10 errors
|
mathcomp-bigenough
Process completed with exit code 1.
|
|
mathcomp-word
Process completed with exit code 1.
|
|
deriving
Process completed with exit code 1.
|
|
mathcomp
Process completed with exit code 1.
|
|
mathcomp-zify
Process completed with exit code 1.
|
|
reglang
Process completed with exit code 1.
|
|
coquelicot
Process completed with exit code 1.
|
|
fourcolor
Process completed with exit code 1.
|
|
mathcomp-finmap
Process completed with exit code 1.
|
|
QuickChick
Process completed with exit code 1.
|