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

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

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

Usage

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

Jobs

Run details

Run time