Ordinal 0.5.3 (#291) #706

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Ordinal 0.5.3 (#291) #706

Usage

Ordinal 0.5.3 (#291) #706

Jobs

Run details

Run time