Nix toolbox update #244

Job	Run time
coq	54s
coq-elpi	1m 47s
hierarchy-builder	1m 58s
mathcomp-ssreflect	3m 50s
autosubst	1m 43s
mathcomp-fingroup	2m 33s
coquelicot	2m 9s
mathcomp-bigenough	1m 48s
mathcomp-finmap	2m 3s
QuickChick	2m 30s
relation-algebra	2m 52s
mathcomp-algebra	4m 38s
interval	4m 34s
mathcomp-classical	3m 8s
mathcomp-solvable	3m 43s
multinomials	2m 46s
mathcomp-reals	2m 47s
mathcomp-field	5m 34s
mathcomp-experimental-reals	2m 39s
mathcomp-reals-stdlib	1m 52s
mathcomp-real-closed	3m 29s
mathcomp-analysis	11m 32s
mathcomp-character	3m 45s
coqeal	4m 12s
mathcomp	2m 38s
odd-order	11m 52s
mathcomp-analysis-stdlib	11m 26s
	1h 44m 42s

Provide feedback