Nix CI for bundle coq-master

Test without overlays #104

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
stdlib-refman-html	48s
stdlib-html	50s
coq	50s
smtcoq-trakt	49s
stdlib-subcomponents	50s
stdlib-test	45s
stdlib	0s
atbr	0s
aac-tactics	0s
argosy	0s
bbv	0s
bignums	0s
ceres	0s
coinduction	0s
coq-elpi	0s
coq-ext-lib	0s
coq-hammer-tactics	0s
coq-performance-tests	0s
coq-tools	0s
coqutil	0s
cross-crypto	0s
dpdgraph-test	0s
engine-bench	0s
equations	0s
flocq	0s
InfSeqExt	0s
itauto	0s
kami	0s
menhir	0s
neural-net-coq-interp	0s
paco	0s
paramcoq-test	0s
perennial	0s
rewriter	0s
sf	0s
smtcoq	0s
stalmarck	0s
stdpp	0s
StructTact	0s
tlc	0s
waterproof	0s
CoLoR	0s
bignums-test	0s
coqprime	0s
coq-elpi-test	0s
hierarchy-builder	0s
math-classes	0s
parsec	0s
simple-io	0s
trakt	0s
coq-hammer	0s
equations-test	0s
metacoq-template-coq	0s
riscvcoq	0s
compcert	0s
iris	0s
ITree	0s
stalmarck-tactic	0s
vst	0s
Cheerios	0s
corn	0s
mathcomp-ssreflect	0s
hierarchy-builder-test	0s
bedrock2	0s
itree-io	0s
json	0s
metacoq-pcuic	0s
QuickChick	0s
Verdi	0s
autosubst	0s
category-theory	0s
coquelicot	0s
deriving	0s
mathcomp-bigenough	0s
mathcomp-fingroup	0s
mathcomp-finmap	0s
relation-algebra	0s
rupicola	0s
metacoq-safechecker	0s
quickchick-test	0s
async-test	0s
iris-examples	0s
VerdiRaft	0s
mathcomp-algebra	0s
fiat-crypto	0s
metacoq-erasure	0s
http	0s
fourcolor	0s
mathcomp-classical	0s
mathcomp-solvable	0s
mathcomp-word	0s
mathcomp-zify	0s
metacoq	0s
jasmin	0s
mathcomp-field	0s
mathcomp-analysis	0s
mathcomp-character	0s
mathcomp	0s
mathcomp-test	0s
odd-order	0s
	4m 52s