changelog for version 1.17.0 (#2072) #43

Job	Run time
rocq-core	1m 38s
mathcomp-analysis-single	22m 56s
mathcomp-classical	1m 25s
coq	1m 42s
mathcomp	1m 47s
mathcomp-reals	1m 48s
coquelicot	1m 40s
mathcomp-analysis	19m 14s
mathcomp-reals-stdlib	1m 33s
mathcomp-analysis-stdlib	1m 49s
mathcomp-experimental-reals	1m 40s
	57m 12s

Provide feedback