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

Might be useful for making `grep` more well-behaved.
mit-plv · May 9, 2024 · 1461a9d · 1461a9d
1 parent c5008e7
commit 1461a9d
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