Nix CI for bundle coq8.13+mcmaster

Port to hierarchy builder #87

Sign in to view logs

Workflow file for this run

.github/workflows/nix-action-coq8.13+mcmaster.yml at 0d5aca9

File not found

The workflow file could not be found.