From ee5d84b3a02ba2c2c4ba93c9d6aee3fb83b0fa67 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 19 Sep 2024 16:39:48 -0700 Subject: [PATCH] Don't indirect through 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 60bbb8c668..595217b8a8 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 -- bash -l -c 'git config --global --add safe.directory "*"' + run: opam exec -- git config --global --add safe.directory "*" - name: echo build params run: .\etc\ci\describe-system-config-win.ps1 - name: deps