Nix CI for bundle coq-master

Test CI #27

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 3s
dpdgraph	1m 7s
serapi	1m 2s
paramcoq	1m 4s
stdlib	3m 50s
vst	1m 4s
coq-lsp	0s
aac-tactics	1m 54s
coq-elpi	2m 16s
bignums	2m 7s
ceres	1m 50s
InfSeqExt	1m 44s
StructTact	1m 51s
coq-ext-lib	1m 58s
coqhammer	1m 54s
equations	1m 56s
itauto	3m 10s
paco	1m 59s
flocq	2m 56s
smtcoq	1m 55s
stdpp	2m 48s
tlc	2m 12s
math-classes	3m 5s
coqprime	3m 1s
Cheerios	1m 56s
parsec	2m 5s
simple-io	1m 59s
metacoq-template-coq	4m 1s
hierarchy-builder	1m 57s
trakt	1m 53s
compcert	4m 37s
iris	4m 49s
corn	9m 13s
mathcomp-ssreflect	4m 9s
metacoq-pcuic	0s
metacoq-safechecker	0s
metacoq-erasure	0s
metacoq	0s
QuickChick	4m 11s
autosubst	3m 56s
coquelicot	4m 33s
category-theory	9m 22s
deriving	4m 26s
mathcomp-bigenough	3m 57s
mathcomp-fingroup	2m 42s
Verdi	2m 38s
mathcomp-finmap	2m 4s
relation-algebra	3m 25s
mathcomp-algebra	4m 49s
mathcomp-solvable	5m 51s
mathcomp-word	4m 21s
fourcolor	15m 47s
mathcomp-classical	5m 14s
mathcomp-zify	4m 22s
mathcomp-field	4m 33s
mathcomp-character	3m 49s
mathcomp-analysis	10m 18s
mathcomp	3m 2s
odd-order	10m 52s
	3h 18m 37s