Nix CI for bundle coq8.20+mcmathcomp-2.3.0

updating nix and CI #10

Sign in to view logs

Workflow file for this run

.github/workflows/nix-action-coq8.20+mcmathcomp-2.3.0.yml at b98db26

File not found

The workflow file could not be found.