[CI] Readd coqeal #370

Job	Run time
coq	58s
coq-elpi	1m 49s
hierarchy-builder	1m 37s
mathcomp-ssreflect	3m 34s
coquelicot	2m 4s
autosubst	1m 38s
mathcomp-bigenough	1m 36s
mathcomp-fingroup	2m 16s
mathcomp-finmap	1m 52s
QuickChick	2m 3s
relation-algebra	2m 38s
mathcomp-algebra	4m 14s
interval	3m 20s
mathcomp-solvable	3m 9s
mathcomp-classical	3m 4s
multinomials	2m 23s
mathcomp-reals	4m 0s
mathcomp-field	3m 57s
mathcomp-reals-stdlib	1m 45s
mathcomp-experimental-reals	2m 15s
mathcomp-character	5m 9s
mathcomp-real-closed	6m 5s
mathcomp-analysis	12m 56s
mathcomp	1m 52s
odd-order	11m 54s
mathcomp-analysis-stdlib	10m 54s
	1h 39m 2s

Provide feedback