Coq 9.0+rc1 #709

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Coq 9.0+rc1 #709

Usage

Coq 9.0+rc1 #709

Jobs

Run details

Run time