build-system: work around git change in coverity build

The git ownership issue strikes again.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
Dirk Hohndel 2022-04-18 07:31:19 +02:00
parent dee13bf410
commit 36c991a1b8

View file

@ -40,6 +40,8 @@ jobs:
- name: run build
run: |
cd ..
git config --global --add safe.directory /__w/subsurface/subsurface
git config --global --add safe.directory /__w/subsurface/subsurface/libdivecomputer
export PATH=`pwd`/cov-analysis-linux64/bin:$PATH
cov-build --dir cov-int bash -x subsurface/scripts/build.sh -desktop -build-with-webkit