Update Docker/Nix CI #104
nix-action-8.20.yml
on: pull_request
coq
43s
mathcomp-finmap
38s
multinomials
2m 51s