From 23e42a9e13938b24e8cdc748d0869b1a20308e86 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 19 Sep 2024 17:11:04 -0700 Subject: [PATCH] Avoid error: wrong number of arguments, should be 2 in Windows opam CI --- .github/workflows/coq-opam-package.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml index 1798858d15..e0b51d76f2 100644 --- a/.github/workflows/coq-opam-package.yml +++ b/.github/workflows/coq-opam-package.yml @@ -98,7 +98,7 @@ jobs: if: ${{ runner.os == 'Windows' }} - name: Work around https://github.com/actions/checkout/issues/766 / https://github.com/ocaml/setup-ocaml/issues/479 / https://github.com/actions/checkout/issues/767 / https://github.com/actions/checkout/issues/760 - run: opam exec -- git config --global --add safe.directory "*" + run: opam exec -- bash -l -c 'git config --global --add safe.directory "*"' if: ${{ runner.os == 'Windows' }} - name: echo opam build params