CI update #180

Job	Run time
coq	39s
hierarchy-builder	1m 14s
mathcomp-single	9m 6s
mathcomp-ssreflect	5m 20s
autosubst	1m 41s
QuickChick	1m 45s
mathcomp-bigenough	1m 10s
deriving	1m 9s
coquelicot	1m 3s
mathcomp-fingroup	36s
mathcomp-finmap	42s
reglang	1s
relation-algebra	1s
mathcomp-algebra	1s
mathcomp-solvable	1s
coq-bits	1s
fourcolor	1s
mathcomp-field	1s
mathcomp-character	1s
mathcomp	1s
odd-order	1s
async-test	1s
mathcomp-real-closed	1s
http	1s
interval	1s
vcfloat	1s
mathcomp-classical	1s
multinomials	1s
mathcomp-reals	1s
coqeal	1s
mathcomp-experimental-reals	1s
mathcomp-analysis	1s
mathcomp-reals-stdlib	1s
mathcomp-analysis-stdlib	1s
	24m 48s

Provide feedback