From a767d6e42dd8de94f6ea81b93fd80ecd7d5d5d6a Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 9 Sep 2024 23:47:49 -0700 Subject: [PATCH] Update coq-windows.yml --- .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