Nix CI for bundle coq-master

WIP #62

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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