[CI] Update Nix toolbox #60
nix-action-8.19.yml
on: push
coq
1m 4s
mathcomp
1m 3s
mathcomp-analysis
1m 10s
mathcomp-analysis-single
1m 2s