[CI] Update Nix toolbox #1849
nix-action-8.16.yml
on: push
coq
1m 7s
mathcomp
1m 6s
mathcomp-analysis
1m 6s
mathcomp-analysis-single
1m 0s