findlib 1.9.8 #688

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	4m 35s
ExtLib	4m 29s
HoTT	5m 44s
InfSeqExt	4m 19s
aac-tactics	4m 14s
bbv	4m 16s
bignums	4m 31s
ceres	4m 23s
coq-elpi	7m 25s
coq-hammer-tactics	4m 17s
LibHyps	4m 22s
MenhirLib	4m 19s
StructTact	4m 13s
coqide	4m 59s
coq-lsp	7m 29s
coq-record-update	4m 12s
coq-shell	4m 16s
coqutil	4m 47s
dpdgraph	4m 13s
equations	4m 15s
flocq	5m 12s
high-school-geometry	2m 8s
itauto	2m 17s
metalib	1m 6s
paco	1m 15s
paramcoq	1m 5s
pocklington	1m 2s
rewriter	6m 11s
semantics	1m 7s
serapi	2m 49s
smtcoq	1m 36s
stdpp	2m 5s
zorns-lemma	1m 1s
Cheerios	1m 15s
coq-hammer	1m 4s
parsec	1m 6s
simple-io	1m 4s
coqprime	1m 37s
CoLoR	6m 52s
math-classes	2m 29s
metacoq-utils	1m 19s
topology	1m 11s
ITree	2m 48s
compcert	3m 41s
gappalib	1m 12s
iris	6m 23s
trakt	2m 25s
hierarchy-builder	2m 20s
json	1m 15s
metacoq-common	1m 57s
corn	7m 34s
mathcomp-ssreflect	3m 27s
itree-io	2m 38s
VST	19m 4s
vcfloat	8m 31s
iris-named-props	5m 4s
metacoq-pcuic	12m 57s
metacoq-template-coq	2m 23s
Verdi	1m 41s
category-theory	9m 6s
autosubst	1m 8s
QuickChick	1m 35s
coquelicot	43s
deriving	1m 49s
mathcomp-bigenough	1m 18s
mathcomp-fingroup	36s
mathcomp-finmap	1m 35s
reglang	1m 23s
relation-algebra	2m 13s
metacoq-translations	1m 22s
async-test	1m 49s
mathcomp-algebra	5m 4s
mathcomp-tarjan	1m 56s
interval	2m 37s
extructures	1m 39s
metacoq-safechecker	8m 13s
metacoq-template-pcuic	2m 9s
http	1m 23s
addition-chains	5m 23s
gaia	7m 17s
fourcolor	16m 17s
mathcomp-solvable	6m 18s
mathcomp-classical	6m 49s
mathcomp-word	4m 53s
mathcomp-zify	4m 48s
multinomials	5m 25s
metacoq-quotation	9m 8s
metacoq-erasure	14m 59s
metacoq-safechecker-plugin	8m 31s
mathcomp-algebra-tactics	1m 48s
mathcomp-field	5m 58s
mathcomp-reals	1m 7s
graph-theory	4m 35s
mathcomp-reals-stdlib	1m 14s
mathcomp-experimental-reals	1m 17s
mathcomp-character	5m 46s
mathcomp-real-closed	9m 42s
mathcomp-analysis	22m 9s
metacoq-erasure-plugin	10m 15s
mathcomp	2m 40s
coqeal	8m 46s
metacoq	11m 53s
mathcomp-analysis-stdlib	19m 7s
mathcomp-infotheo	25m 28s
RustExtraction	1m 59s
ElmExtraction	2m 17s
	8h 20m 56s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

findlib 1.9.8 #688

Usage

findlib 1.9.8 #688

Jobs

Run details

Run time