[CI] Update Nix toolbox #2225
nix-action-master.yml
on: push
coq
1m 6s
mathcomp
59s
mathcomp-analysis
1m 1s
mathcomp-analysis-single
1m 10s