From 49cd99720214999b3808b8ac264a69325c35a92d Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 16 Apr 2022 02:34:22 +0100 Subject: [PATCH] Work around git security issue 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 --- .github/workflows/coq-opam-package.yml | 6 ++++++ 1 file changed, 6 insertions(+) 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