Skip to content

GitLab

Make coq-lint.sh compatible with BSD grep 

On macOS, egrep does not support empty subexpressions in a regex OR.
2 jobs for !336 with fix-coq-lint-macos in 4 minutes and 36 seconds (queued for 6 seconds)
merge request
7d7097a6
1 related merge request: !336 Fix coq-lint.sh on macOS