Update Docker/Nix CI #108
nix-action-8.20.yml
on: pull_request
coq
1m 1s
mathcomp-finmap
1m 3s
multinomials
3m 20s