[CI] `brew install grep` on MacOS for `ggrep` - Githubissues

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat

http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf

Other

701 stars 144 forks source link

[CI] `brew install grep` on MacOS for `ggrep` #1894

Closed JasonGross closed 1 month ago

JasonGross commented 1 month ago

Might be useful for making grep more well-behaved.