From d8b05088263303f40d6f7344e2c372f4ca4b5da6 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 19 Sep 2024 20:52:57 -0700 Subject: [PATCH] [CI] [Windows] fix git config with bash --- .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 595217b8a8..60bbb8c668 100644 --- a/.github/workflows/coq-windows.yml +++ b/.github/workflows/coq-windows.yml @@ -49,7 +49,7 @@ jobs: - run: opam install js_of_ocaml - run: opam install conf-time - name: Work around https://github.com/actions/checkout/issues/766 - run: opam exec -- git config --global --add safe.directory "*" + run: opam exec -- bash -l -c 'git config --global --add safe.directory "*"' - name: echo build params run: .\etc\ci\describe-system-config-win.ps1 - name: deps