Nix CI for bundle coq-master

WIP UniMath #54

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
smtcoq-trakt	5m 13s
coq-hammer	59s
coq	1m 4s
unicoq	1m 4s
dpdgraph	1m 8s
coq-lsp	1m 25s
stdlib	3m 38s
paramcoq	1m 9s
UniMath	10m 51s
serapi	1m 19s
StructTact	1m 50s
aac-tactics	1m 49s
atbr	2m 32s
bbv	1m 51s
bignums	2m 2s
ceres	1m 50s
coinduction	1m 49s
InfSeqExt	1m 45s
coq-elpi	1m 17s
coq-performance-tests	16m 9s
coq-ext-lib	1m 56s
coq-tools	8m 4s
engine-bench	5m 42s
equations	1m 51s
flocq	2m 48s
itauto	3m 7s
menhir	2m 20s
neural-net-coq-interp	2m 26s
paco	1m 54s
sf	3m 31s
smtcoq	2m 20s
stalmarck	1m 54s
stdpp	2m 47s
waterproof	2m 10s
tlc	2m 7s
trakt	1m 18s
hierarchy-builder	2m 17s
Cheerios	2m 2s
metacoq-template-coq	3m 47s
simple-io	1m 58s
parsec	2m 10s
coqprime	2m 48s
CoLoR	6m 51s
math-classes	2m 35s
compcert	4m 27s
vst	15m 11s
ITree	3m 22s
stalmarck-tactic	1m 58s
mathcomp-ssreflect	4m 33s
iris	5m 28s
json	2m 35s
corn	8m 8s
metacoq-pcuic	0s
metacoq-safechecker	0s
metacoq-erasure	0s
metacoq	0s
itree-io	2m 1s
QuickChick	2m 49s
autosubst	2m 18s
coquelicot	2m 49s
category-theory	7m 57s
deriving	3m 20s
Verdi	3m 10s
mathcomp-bigenough	2m 21s
mathcomp-fingroup	3m 6s
mathcomp-finmap	2m 28s
relation-algebra	3m 26s
iris-examples	6m 23s
async-test	2m 57s
mathcomp-algebra	4m 45s
VerdiRaft	7m 11s
http	3m 2s
mathcomp-solvable	4m 20s
mathcomp-classical	3m 53s
fourcolor	14m 39s
mathcomp-word	2m 57s
mathcomp-zify	3m 2s
jasmin	8m 40s
mathcomp-field	5m 17s
mathcomp-analysis	12m 48s
mathcomp-character	6m 25s
mathcomp	5m 8s
odd-order	11m 56s
	5h 16m 17s