Nix CI for bundle coq-master

WIP #68

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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