From 3ec25130a041b33eda49a7542af20ad7563a1426 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 15 Apr 2022 11:59:49 +0100 Subject: [PATCH] [CI] [Win] Work around new security feature of git Works around https://github.com/actions/checkout/issues/766 --- .github/workflows/coq-windows.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml index 80a2819fd9..b5402bf7c7 100644 --- 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