Update coq-windows.yml

Try *, as per actions/checkout#767 (comment)
JasonGross · Apr 15, 2022 · 3a910a2 · 3a910a2
1 parent 3ec2513
commit 3a910a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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