Closed andrew-appel closed 1 year ago
Adjust CI to not run coq-action.yml when the change is only within the 'lib' directory
Adjust CI to not run coq-action.yml when the change is only within the 'lib' directory