Test coq: keep compiling master #763

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Test coq: keep compiling master #763

Usage

Test coq: keep compiling master #763

Jobs

Run details

Run time