fourcolor 1.4.0 #699

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

fourcolor 1.4.0 #699

Usage

fourcolor 1.4.0 #699

Jobs

Run details

Run time