Test coq: keep compiling master #762

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Test coq: keep compiling master #762

Usage

Test coq: keep compiling master #762

Jobs

Run details

Run time