[CI] brew install grep on MacOS for ggrep

Might be useful for making `grep` more well-behaved.
JasonGross · May 9, 2024 · 7cf7680 · 7cf7680
1 parent c5008e7
commit 7cf7680
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml
@@ -40,7 +40,7 @@ jobs:
         ocaml-compiler: 4.11.1
 
     - name: Install system dependencies
-      run: brew install gnu-time gnu-sed coreutils
+      run: brew install gnu-time gnu-sed coreutils grep
     - run: opam update
     - run: opam pin add coq ${COQ_VERSION}
     - run: opam install js_of_ocaml