Clarify structure #217

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Clarify structure #217

Usage

Clarify structure #217

Jobs

Run details

Run time