Nix CI for bundle coq8.19-mc2.2.0

MathComp 2.3 compat #33

Sign in to view logs

Workflow file for this run

.github/workflows/nix-action-coq8.19-mc2.2.0.yml at 68bf88a

File not found

The workflow file could not be found.