Nix CI for bundle coq-8.18

CI update #377

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	41s
hierarchy-builder	1m 10s
mathcomp-single	9m 6s
mathcomp-ssreflect	5m 53s
QuickChick	1m 49s
autosubst	1m 6s
coquelicot	1m 36s
deriving	1m 39s
Verdi	1m 40s
mathcomp-bigenough	1m 4s
mathcomp-fingroup	1m 41s
mathcomp-finmap	1m 18s
reglang	1m 31s
relation-algebra	2m 8s
async-test	1m 20s
mathcomp-algebra	5m 23s
interval	2m 58s
http	1m 24s
fourcolor	16m 19s
mathcomp-solvable	6m 26s
addition-chains	5m 43s
multinomials	5m 48s
coq-bits	4m 58s
mathcomp-field	3m 42s
mathcomp-real-closed	2m 29s
mathcomp-character	2m 42s
coqeal	3m 21s
mathcomp	2m 52s
odd-order	13m 22s
	1h 51m 9s