Merge pull request #9 from mit-plv/JasonGross-patch-1

Fix git config --global
mit-plv · Sep 18, 2024 · b95adf6 · b95adf6
2 parents 977bb53 + d984c3e
commit b95adf6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -90,15 +90,15 @@ jobs:
         coq_version: ${{ matrix.COQ_VERSION }}
         ocaml_version: default
         custom_script: |
-          git config --global --add safe.directory '*'
+          sudo git config --global --add safe.directory '*'
           sudo make coq-install
     - name: sudo make coq-install-perf-Sanity
       uses: coq-community/docker-coq-action@v1
       with:
         coq_version: ${{ matrix.COQ_VERSION }}
         ocaml_version: default
         custom_script: |
-          git config --global --add safe.directory '*'
+          sudo git config --global --add safe.directory '*'
           sudo make coq-install-perf-Sanity
 
   docker-check-all: