Nix CI for bundle coq-8.18

put factory-alias->gref in the database #293

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	38s
hierarchy-builder	1m 35s
mathcomp-ssreflect	5m 53s
mathcomp-single	9m 4s
Verdi	6m 14s
QuickChick	6m 24s
deriving	6m 49s
coquelicot	6m 19s
autosubst	5m 57s
mathcomp-bigenough	5m 53s
mathcomp-fingroup	6m 33s
mathcomp-finmap	6m 2s
reglang	6m 6s
async-test	1m 21s
mathcomp-algebra	4m 37s
interval	2m 32s
http	1m 29s
mathcomp-classical	7m 46s
addition-chains	5m 28s
coq-bits	4m 52s
fourcolor	16m 27s
mathcomp-solvable	6m 22s
multinomials	5m 27s
mathcomp-field	3m 57s
mathcomp-analysis	6h 0m 15s
mathcomp-character	2m 47s
mathcomp-real-closed	2m 39s
coqeal	4m 39s
mathcomp	2m 56s
odd-order	13m 27s
	8h 40m 28s