Fix CI (#35)

Work around actions/checkout#766
coq-community · Sep 25, 2023 · 0900ec0 · 0900ec0
1 parent f9da3a6
commit 0900ec0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -88,7 +88,9 @@ jobs:
           echo "::group::echo | coqtop"
           true | coqtop
           echo "::endgroup::"
-          sudo chmod -R a+rw .
+          sudo chmod -R a=u .
+          # Work around https://github.com/actions/checkout/issues/766
+          git config --global --add safe.directory "*"
           echo '::group::make -j2 TIMED=1'
           make -j2 TIMED=1
           echo '::endgroup::'