[CI] Update Nix toolbox #59
nix-action-8.19.yml
on: pull_request
coq
1m 9s
mathcomp
1m 10s
mathcomp-analysis
13m 7s
mathcomp-analysis-single
12m 44s