[CI] Update Nix toolbox #1068
nix-action-8.17.yml
on: push
coq
1m 11s
mathcomp
1m 0s
mathcomp-analysis
1m 2s
mathcomp-analysis-single
1m 1s