Work around git security issue

actions/checkout#766 / ocaml/setup-ocaml#479 / actions/checkout#767 / actions/checkout#760
mit-plv · Apr 16, 2022 · 49cd997 · 49cd997
1 parent be2e5dc
commit 49cd997
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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