diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml
index eecd1a4c38..07281713c3 100644
--- a/.github/workflows/coq-macos.yml
+++ b/.github/workflows/coq-macos.yml
@@ -22,9 +22,6 @@ jobs:
     - uses: actions/checkout@v3
       with:
         submodules: recursive
-    - name: Work around https://github.com/actions/checkout/issues/766
-      run: |
-        git config --global --add safe.directory "$GITHUB_WORKSPACE"
     - name: Set up OCaml
       uses: ocaml/setup-ocaml@v2
       with:
diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
index 3342b8fc54..80a2819fd9 100644
--- a/.github/workflows/coq-windows.yml
+++ b/.github/workflows/coq-windows.yml
@@ -42,11 +42,6 @@ jobs:
         %CYGWIN_ROOT%\setup-x86_64.exe -qnNdO -P time
       shell: cmd
 
-    - name: Work around https://github.com/actions/checkout/issues/766
-      run: |
-        %CYGWIN_ROOT%\bin\bash.exe -l -c 'git config --global --add safe.directory "$GITHUB_WORKSPACE"'
-      shell: cmd
-
     - name: echo build params
       run: |
         ECHO ::group::wmic cpu get caption, deviceid, name, numberofcores, maxclockspeed, status
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 3f61808a37..e51ff712fe 100644
--- a/.github/workflows/coq.yml
+++ b/.github/workflows/coq.yml
@@ -27,9 +27,6 @@ jobs:
     - uses: actions/checkout@v3
       with:
         submodules: recursive
-    - name: Work around https://github.com/actions/checkout/issues/766
-      run: |
-        git config --global --add safe.directory "$GITHUB_WORKSPACE"
     - name: install Coq
       run: |
         if [ ! -z "$PPA" ]; then sudo add-apt-repository "$PPA" -y; fi
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 7aa1ade13d..76cef2e33a 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -17,9 +17,6 @@ jobs:
       with:
         rust-version: ${{ matrix.rust }}
     - uses: actions/checkout@v3
-    - name: Work around https://github.com/actions/checkout/issues/766
-      run: |
-        git config --global --add safe.directory "$GITHUB_WORKSPACE"
     - name: Login to crates.io
       run: cargo login $CRATES_IO_TOKEN
       env: