paco 4.2.2 #389

Job	Run time
coq	39s
HoTT	39s
LibHyps	38s
coq-lsp	37s
coq-record-update	41s
coq-shell	41s
coq-tactical	37s
coqide	40s
coqutil	38s
dpdgraph	43s
high-school-geometry	38s
itauto	41s
paramcoq	38s
stdlib	39s
vscoq-language-server	40s
zorns-lemma	38s
serapi	41s
ExtLib	37s
MenhirLib	37s
InfSeqExt	41s
StructTact	41s
aac-tactics	36s
atbr	36s
bignums	36s
ceres	38s
coq-elpi	43s
equations	38s
flocq	41s
paco	1m 19s
stalmarck	42s
stdpp	42s
simple-io	38s
CoLoR	38s
coqprime	38s
math-classes	42s
parsec	37s
Cheerios	37s
metacoq-utils	41s
hierarchy-builder	42s
gappalib	38s
compcert	37s
stalmarck-tactic	39s
iris	36s
ITree	2m 26s
json	37s
corn	42s
metacoq-common	37s
mathcomp-ssreflect	37s
metacoq-template-coq	42s
metacoq-pcuic	38s
autosubst	43s
QuickChick	37s
coquelicot	37s
deriving	39s
mathcomp-bigenough	42s
mathcomp-fingroup	42s
mathcomp-finmap	41s
reglang	39s
relation-algebra	37s
metacoq-safechecker	37s
metacoq-translations	41s
metacoq-template-pcuic	41s
extructures	38s
mathcomp-algebra	39s
mathcomp-tarjan	38s
interval	39s
metacoq-erasure	38s
metacoq-quotation	42s
metacoq-safechecker-plugin	37s
fourcolor	38s
mathcomp-classical	38s
mathcomp-solvable	37s
mathcomp-word	37s
gaia	38s
mathcomp-zify	42s
multinomials	42s
metacoq-erasure-plugin	41s
mathcomp-reals	1m 17s
mathcomp-field	39s
mathcomp-algebra-tactics	39s
metacoq	41s
mathcomp-real-closed	39s
mathcomp-character	38s
mathcomp-analysis	43s
mathcomp-experimental-reals	38s
mathcomp-reals-stdlib	37s
ElmExtraction	37s
mathcomp	39s
coqeal	39s
ssprove	38s
mathcomp-analysis-stdlib	37s
odd-order	39s
mathcomp-infotheo	1s
	1h 2m 58s

Provide feedback