Nix CI for bundle coq-master

Test CI #38

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 4s
unicoq	1m 4s
coq-hammer	1m 4s
stdlib	3m 54s
dpdgraph	1m 7s
paramcoq	1m 39s
coq-lsp	1m 11s
serapi	1m 7s
aac-tactics	4m 1s
ceres	4m 5s
bignums	4m 25s
InfSeqExt	4m 21s
coq-elpi	4m 35s
StructTact	3m 59s
coq-ext-lib	4m 9s
equations	4m 13s
flocq	5m 9s
itauto	5m 19s
paco	4m 13s
smtcoq	4m 33s
stdpp	4m 57s
tlc	4m 23s
Cheerios	2m 1s
simple-io	1m 49s
parsec	1m 52s
metacoq-template-coq	4m 2s
coqprime	2m 46s
math-classes	2m 41s
hierarchy-builder	1m 59s
trakt	1m 53s
iris	6m 46s
vst	5m 38s
compcert	5m 29s
mathcomp-ssreflect	4m 10s
corn	9m 14s
metacoq-pcuic	0s
metacoq-safechecker	0s
metacoq-erasure	0s
metacoq	0s
Verdi	4m 50s
QuickChick	4m 31s
category-theory	9m 13s
autosubst	3m 57s
mathcomp-bigenough	4m 0s
coquelicot	4m 47s
deriving	4m 30s
mathcomp-fingroup	4m 44s
mathcomp-finmap	4m 30s
relation-algebra	5m 1s
mathcomp-algebra	4m 14s
fourcolor	14m 10s
mathcomp-solvable	3m 55s
mathcomp-classical	3m 24s
mathcomp-word	2m 25s
mathcomp-zify	2m 28s
mathcomp-field	5m 35s
mathcomp-analysis	11m 36s
mathcomp-character	3m 53s
mathcomp	3m 8s
odd-order	11m 14s
	4h 0m 57s