Update Docker/Nix CI #100
nix-action-8.20.yml
on: pull_request
coq
48s
mathcomp-finmap
57s
multinomials
2m 59s