[CI] Update equation (now uses dune) #20

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[CI] Update equation (now uses dune) #20

Usage

[CI] Update equation (now uses dune) #20

Jobs

Run details

Run time