[CI] Update Nix toolbox #5074

Job	Run time
rocq-core	2m 14s
rocq-elpi	2m 52s
coq-elpi	57s
coq	2m 19s
stdlib	4m 6s
mathcomp-finmap	2m 40s
hierarchy-builder	1m 14s
mathcomp-bigenough	2m 30s
mathcomp	15m 0s
mathcomp-classical	9m 57s
mathcomp-analysis-single	31m 4s
mathcomp-reals	2m 19s
mathcomp-reals-stdlib	3m 6s
mathcomp-analysis	18m 58s
mathcomp-experimental-reals	3m 29s
mathcomp-analysis-stdlib	2m 33s
	1h 45m 18s

Provide feedback