Prepare for a release #117

Job	Run time
build (mathcomp/mathcomp:2.1.0-coq-8.16)	3m 42s
build (mathcomp/mathcomp:2.0.0-coq-8.16)	3m 38s
build (mathcomp/mathcomp:2.0.0-coq-8.17)	3m 52s
build (mathcomp/mathcomp:2.1.0-coq-8.18)	27m 45s
build (mathcomp/mathcomp:2.4.0-coq-8.19)	16s
build (mathcomp/mathcomp:2.3.0-coq-8.18)	31m 34s
build (mathcomp/mathcomp:2.3.0-coq-8.20)	3m 49s
build (mathcomp/mathcomp:2.4.0-rocq-prover-dev)	14m 12s
build (mathcomp/mathcomp-dev:rocq-prover-9.0)	16m 56s
build (mathcomp/mathcomp-dev:coq-8.20)	23m 58s
build (mathcomp/mathcomp:2.2.0-coq-8.20)	3m 41s
build (mathcomp/mathcomp:2.2.0-coq-8.19)	24m 37s
build (mathcomp/mathcomp:2.1.0-coq-8.17)	3m 38s
build (mathcomp/mathcomp-dev:rocq-prover-dev)	18m 0s
build (mathcomp/mathcomp:2.2.0-coq-8.17)	3m 31s
build (mathcomp/mathcomp:2.4.0-rocq-prover-9.0)	3m 30s
build (mathcomp/mathcomp:2.4.0-coq-8.20)	3m 46s
build (mathcomp/mathcomp:2.2.0-coq-8.18)	28m 14s
build (mathcomp/mathcomp:2.2.0-coq-8.16)	3m 41s
build (mathcomp/mathcomp:2.3.0-coq-8.19)	27m 14s
build (mathcomp/mathcomp:2.0.0-coq-8.18)	3m 47s
	4h 13m 21s

Provide feedback