Add gnu-sed on mac

mit-plv · Apr 16, 2024 · cff8b9c · cff8b9c
1 parent de044e4
commit cff8b9c
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:
     - name: Install system dependencies
       run: |
         set -e
-        brew install gnu-time coreutils
+        brew install gnu-time gnu-sed coreutils
 
     - name: Install Coq
       run: |