Skip to content

GitLab

Use GNU grep on macOS in coq-lint.sh

2 jobs for !336 with fix-coq-lint-macos in 7 minutes and 18 seconds (queued for 7 seconds)
merge request
183fdb94
1 related merge request: !336 Fix coq-lint.sh on macOS