Clarify structure #187

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Clarify structure #187

Usage

Clarify structure #187

Jobs

Run details

Run time