Testing HB 1.8.0 #361

Job	Run time
coq	37s
coqide	37s
coq-lsp	37s
coq-record-update	38s
coq-shell	1m 4s
coq-tactical	40s
coqutil	40s
dpdgraph	37s
high-school-geometry	41s
HoTT	37s
LibHyps	40s
itauto	36s
paramcoq	36s
stdlib	41s
vscoq-language-server	38s
zorns-lemma	40s
serapi	41s
ExtLib	37s
InfSeqExt	36s
aac-tactics	41s
atbr	37s
bignums	40s
ceres	41s
coq-elpi	38s
equations	40s
flocq	36s
MenhirLib	36s
StructTact	36s
paco	37s
stalmarck	41s
stdpp	36s
simple-io	42s
hierarchy-builder	1m 17s
math-classes	41s
CoLoR	37s
coqprime	37s
parsec	40s
compcert	3m 48s
gappalib	35s
metacoq-utils	42s
Cheerios	36s
ITree	36s
iris	38s
stalmarck-tactic	37s
corn	40s
json	41s
mathcomp-ssreflect	2m 42s
metacoq-common	37s
metacoq-pcuic	41s
metacoq-template-coq	40s
autosubst	1m 14s
deriving	1m 28s
QuickChick	1m 41s
coquelicot	1m 43s
mathcomp-bigenough	1m 12s
mathcomp-finmap	1m 35s
mathcomp-fingroup	1m 49s
reglang	1m 44s
relation-algebra	2m 16s
metacoq-safechecker	36s
metacoq-template-pcuic	38s
metacoq-translations	37s
extructures	1m 37s
interval	3m 1s
mathcomp-tarjan	1m 38s
mathcomp-algebra	3m 47s
metacoq-erasure	38s
metacoq-quotation	42s
metacoq-safechecker-plugin	37s
mathcomp-classical	3m 11s
gaia	4m 1s
fourcolor	13m 22s
mathcomp-solvable	2m 54s
mathcomp-word	1m 32s
mathcomp-zify	1m 31s
multinomials	1m 56s
metacoq-erasure-plugin	36s
mathcomp-algebra-tactics	1m 27s
mathcomp-reals	3m 59s
mathcomp-field	5m 4s
metacoq	36s
mathcomp-reals-stdlib	1m 24s
mathcomp-experimental-reals	1m 46s
mathcomp-character	4m 49s
mathcomp-analysis	13m 3s
mathcomp-real-closed	4m 38s
ElmExtraction	40s
coqeal	4m 19s
mathcomp	1m 30s
ssprove	20m 19s
mathcomp-analysis-stdlib	11m 26s
mathcomp-infotheo	17m 38s
	3h 8m 33s

Provide feedback