Nix CI for bundle coq-8.18

Hard failure on missing factories + better error message #365

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	41s
hierarchy-builder	1m 23s
mathcomp-single	3m 36s
mathcomp-ssreflect	5m 52s
Verdi	6m 26s
autosubst	5m 46s
coquelicot	6m 23s
deriving	6m 28s
mathcomp-bigenough	5m 53s
QuickChick	6m 24s
mathcomp-fingroup	6m 36s
reglang	6m 19s
mathcomp-finmap	6m 4s
relation-algebra	6m 58s
async-test	1m 24s
interval	2m 42s
mathcomp-algebra	2m 30s
http	1m 39s
mathcomp-solvable	0s
fourcolor	0s
addition-chains	0s
coq-bits	0s
multinomials	0s
mathcomp-field	0s
mathcomp-real-closed	0s
mathcomp-character	0s
coqeal	0s
mathcomp	0s
odd-order	0s
	1h 23m 4s