[CI] [Win] Work around new security feature of git

Works around actions/checkout#766
JasonGross · Apr 15, 2022 · 3ec2513 · 3ec2513
1 parent d4765a6
commit 3ec2513
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
@@ -42,6 +42,11 @@ 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 "$(cygpath -u "$GITHUB_WORKSPACE")"'
+      shell: cmd
+
     - name: echo build params
       run: |
         ECHO ::group::wmic cpu get caption, deviceid, name, numberofcores, maxclockspeed, status