[CI] Update Nix toolbox #3438

Job	Run time
coq	40s
mathcomp-bigenough	5m 12s
stdlib	3m 8s
mathcomp-finmap	5m 27s
coq-elpi	43s
hierarchy-builder	43s
mathcomp	7m 8s
mathcomp-analysis-single	15m 16s
mathcomp-classical	4m 40s
mathcomp-reals	7m 19s
mathcomp-experimental-reals	1m 45s
mathcomp-analysis	11m 31s
mathcomp-reals-stdlib	1m 18s
mathcomp-analysis-stdlib	1m 27s
	1h 6m 17s

Provide feedback