[CI] Update Nix toolbox #82
nix-action-master.yml
on: pull_request
coq
47s
rocq-core
41s
rocq-elpi
43s
stdlib
47s
multinomials
2m 43s
mathcomp
50s