From be2e5dcd5660b99f97a503c54bbc5f047971d07a Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 15 Apr 2022 14:23:08 +0100 Subject: [PATCH] Update coq-windows.yml Try *, as per https://github.com/actions/checkout/issues/767#issuecomment-1100107030 --- .github/workflows/coq-windows.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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