Update Docker/Nix CI #115
nix-action-8.20.yml
on: pull_request
coq
43s
mathcomp-finmap
40s
multinomials
2m 49s