Test coq: keep compiling master #768

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Test coq: keep compiling master #768

Usage

Test coq: keep compiling master #768

Jobs

Run details

Run time