[CI] Update Nix toolbox #2290
nix-action-master.yml
on: pull_request_target
coq
4m 55s
mathcomp
11m 4s
mathcomp-analysis
20m 52s
mathcomp-analysis-single
20m 53s