Testing HB 1.8.0 #360

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

Provide feedback