[CI] Add Coq 9.0+rc1 #414

Job	Run time
mathcomp-single	1s
coq	1s
paramcoq	1s
stdlib	1s
bignums	1s
coq-elpi	1s
hierarchy-builder	1s
mathcomp-ssreflect	1s
deriving	1s
mathcomp-fingroup	1s
mathcomp-bigenough	1s
reglang	1s
mathcomp-finmap	1s
mathcomp-algebra	1s
coq-bits	1s
fourcolor	1s
mathcomp-classical	1s
mathcomp-solvable	1s
multinomials	1s
mathcomp-field	1s
mathcomp-reals	1s
mathcomp-analysis	1s
mathcomp-character	1s
mathcomp-experimental-reals	1s
mathcomp-real-closed	1s
mathcomp-reals-stdlib	1s
mathcomp	1s
mathcomp-analysis-stdlib	1s
odd-order	1s
	29s

Provide feedback