[CI] Readd coqeal #3

Job	Run time
coq	39s
coq-elpi	1m 26s
hierarchy-builder	1m 30s
mathcomp-ssreflect	2m 52s
mathcomp-single	7m 0s
autosubst	1m 12s
deriving	1m 36s
mathcomp-bigenough	1m 19s
mathcomp-fingroup	1m 44s
QuickChick	1m 39s
mathcomp-finmap	1m 21s
reglang	1m 39s
mathcomp-algebra	3m 18s
mathcomp-classical	4m 42s
coq-bits	3m 27s
fourcolor	14m 53s
mathcomp-solvable	4m 25s
multinomials	4m 11s
mathcomp-reals	2m 13s
mathcomp-field	3m 7s
mathcomp-reals-stdlib	2m 13s
mathcomp-experimental-reals	2m 36s
mathcomp-real-closed	4m 0s
mathcomp-character	4m 11s
mathcomp-analysis	10m 54s
mathcomp	2m 32s
odd-order	8m 53s
mathcomp-analysis-stdlib	9m 24s
	1h 48m 56s

Provide feedback