[CI] Update Nix toolbox #1831
nix-action-master.yml
on: push
coq
37s
mathcomp
18m 19s
mathcomp-analysis
12m 42s
mathcomp-analysis-single
12m 26s