Skip to content

Commit

Permalink
Merge pull request #1259 from ejoerns/coverity
Browse files Browse the repository at this point in the history
.github: workflows: coverity: disable git unsafe directory check
  • Loading branch information
jluebbe committed Oct 10, 2023
2 parents 4764785 + dd78c70 commit 54bcdef
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .github/workflows/coverity.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,9 @@ jobs:
exit
fi
# Prevent git's unsafe directory check from failing
git config --global --add safe.directory "*"
test/get-coverity.sh
gcc --version
Expand Down

0 comments on commit 54bcdef

Please sign in to comment.