Skip to content

Commit f2718c7

Browse files
authored
Merge pull request #11105 from geekosaur/windows-git-lock-fix
work around git locking issue on Windows
2 parents 671bee6 + 621c92b commit f2718c7

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

.github/workflows/validate.yml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -143,6 +143,11 @@ jobs:
143143
key: ${{ runner.os }}-${{ matrix.ghc }}-${{ github.sha }}
144144
restore-keys: ${{ runner.os }}-${{ matrix.ghc }}-
145145

146+
- name: "Work around git problem https://bugs.launchpad.net/ubuntu/+source/git/+bug/1993586 (cabal PR #8546)"
147+
# alternatively, use 'continue-on-error: true'
148+
if: runner.os != 'Windows'
149+
run: git config --global protocol.file.allow always
150+
146151
# The tool is not essential to the rest of the test suite. If
147152
# hackage-repo-tool is not present, any test that requires it will
148153
# be skipped.

0 commit comments

Comments
 (0)