Update Docker/Nix CI (#151) #124
nix-action-8.20.yml
on: push
coq
41s
mathcomp-finmap
41s
multinomials
47s