Update Docker/Nix CI #117
nix-action-8.20.yml
on: pull_request
coq
44s
mathcomp-finmap
43s
multinomials
2m 50s