[CI] Update Nix toolbox #27
nix-action-9.0-2.4.0.yml
on: pull_request
rocq-core
57s
mathcomp
48s
mathcomp-analysis-single
22m 31s
ssprove
19m 3s
mathcomp-infotheo
22m 57s