diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
index b5402bf7c7..f435734d05 100644
--- a/.github/workflows/coq-windows.yml
+++ b/.github/workflows/coq-windows.yml
@@ -44,7 +44,7 @@ jobs:
 
     - name: Work around https://github.com/actions/checkout/issues/766
       run: |
-        %CYGWIN_ROOT%\bin\bash.exe -l -c 'git config --global --add safe.directory "$(cygpath -u "$GITHUB_WORKSPACE")"'
+        %CYGWIN_ROOT%\bin\bash.exe -l -c 'git config --global --add safe.directory "*"'
       shell: cmd
 
     - name: echo build params