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