Update Docker/Nix CI #121
nix-action-8.20.yml
on: pull_request
coq
36s
mathcomp-finmap
47s
multinomials
58s