We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0e6b3e8 commit 23e42a9Copy full SHA for 23e42a9
.github/workflows/coq-opam-package.yml
@@ -98,7 +98,7 @@ jobs:
98
if: ${{ runner.os == 'Windows' }}
99
100
- 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
101
- run: opam exec -- git config --global --add safe.directory "*"
+ run: opam exec -- bash -l -c 'git config --global --add safe.directory "*"'
102
103
104
- name: echo opam build params
0 commit comments