Nix CI for bundle coq-8.16

Stack overflow 8.17 #721

Sign in to view logs

Workflow file for this run

.github/workflows/nix-action-coq-8.16-macos.yml at 5127430

File not found

The workflow file could not be found.