[CI] Update Nix toolbox #2
nix-action-8.20.yml
on: push
coq
35s
mathcomp
40s
mathcomp-analysis
11m 10s
mathcomp-analysis-single
13m 44s