Update Docker/Nix CI #113
nix-action-8.20.yml
on: pull_request
coq
48s
mathcomp-finmap
45s
multinomials
3m 4s