[CI] Update Nix toolbox #58

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 18s
stdlib-html	1m 34s
stdlib	1m 46s
stdlib-subcomponents	1m 39s
unicoq	1m 40s
InfSeqExt	1m 34s
aac-tactics	1m 41s
ExtLib	1m 35s
MenhirLib	1m 59s
argosy	1m 40s
atbr	1m 37s
bbv	1m 34s
bignums	1m 36s
StructTact	1m 38s
ceres	1m 44s
coinduction	1m 46s
coq-elpi	1m 10s
coq-hammer-tactics	1m 36s
coq-performance-tests	2m 10s
coq-tools	5m 17s
coqutil	1m 48s
cross-crypto	1m 37s
dpdgraph-test	1m 38s
engine-bench	1m 39s
equations	1m 40s
fiat-parsers	1m 44s
flocq	1m 41s
itauto	1m 44s
kami	1m 49s
mtac2	1m 39s
neural-net-coq-interp	1m 38s
paramcoq-test	1m 35s
paco	1m 44s
perennial	1m 49s
rewriter	1m 37s
sf	1m 41s
smtcoq	1m 37s
stalmarck	1m 37s
stdlib-refman-html	1m 49s
stdlib-test	1m 36s
stdpp	1m 36s
tlc	1m 35s
waterproof	1m 44s
simple-io	0s
coq-elpi-test	1m 18s
trakt	1m 12s
hierarchy-builder	1m 13s
parsec	0s
json	0s
CoLoR	1m 41s
bignums-test	1m 44s
math-classes	1m 37s
coqprime	1m 47s
Cheerios	0s
coq-hammer	0s
riscvcoq	0s
metacoq-utils	0s
equations-test	0s
metacoq-common	0s
metacoq-pcuic	0s
metacoq-template-coq	0s
metacoq-safechecker	0s
metacoq-template-pcuic	0s
metacoq-translations	0s
metacoq-safechecker-plugin	0s
metacoq-erasure	0s
metacoq-quotation	0s
metacoq-erasure-plugin	0s
metacoq	0s
metacoq-test	0s
vst	0s
compcert	0s
bedrock2	0s
rupicola	0s
ITree	0s
itree-io	0s
stalmarck-tactic	0s
iris	0s
mathcomp-ssreflect	0s
autosubst	0s
Verdi	0s
QuickChick	0s
category-theory	0s
deriving	0s
coquelicot	0s
mathcomp-bigenough	0s
mathcomp-fingroup	0s
mathcomp-finmap	0s
relation-algebra	0s
iris-examples	0s
quickchick-test	0s
async-test	0s
VerdiRaft	0s
mathcomp-algebra	0s
http	0s
fcsl-pcm	0s
fourcolor	0s
mathcomp-classical	0s
mathcomp-word	0s
mathcomp-solvable	0s
mathcomp-zify	0s
jasmin	0s
mathcomp-reals	0s
mathcomp-field	0s
mathcomp-experimental-reals	0s
mathcomp-reals-stdlib	0s
mathcomp-analysis	0s
mathcomp-character	0s
mathcomp-analysis-stdlib	0s
mathcomp	0s
odd-order	0s
mathcomp-test	0s
smtcoq-trakt	0s
fiat-crypto-legacy	0s
fiat-crypto	0s
fiat-crypto-ocaml	0s
corn	0s
	1h 25m 43s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[CI] Update Nix toolbox #58

Usage

[CI] Update Nix toolbox #58

Jobs

Run details

Run time