OCaml 5.2.1 #715

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

OCaml 5.2.1 #715

Usage

OCaml 5.2.1 #715

Jobs

Run details

Run time