diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index c9d6d2823d..f4585fc080 100644
--- 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::'