[CI] Update Nix toolbox #1498
nix-action-9.0.yml
on: pull_request_target
rocq-core
54s
mathcomp-analysis-single
19m 10s
ssprove
23m 45s
mathcomp-infotheo
9m 3s