Avoid error: wrong number of arguments, should be 2 in Windows opam CI

mit-plv · Sep 20, 2024 · 23e42a9 · 23e42a9
1 parent 0e6b3e8
commit 23e42a9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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