diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml index c9be35c391..a333d035a6 100644 --- a/.github/workflows/coq-opam-package.yml +++ b/.github/workflows/coq-opam-package.yml @@ -93,6 +93,12 @@ jobs: shell: cmd 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: | + %CYGWIN_ROOT%\bin\bash.exe -l -c 'git config --global --add safe.directory "*"' + shell: cmd + if: ${{ runner.os == 'Windows' }} + - name: echo opam build params run: | echo ::group::ocamlc -config