emo/xbps
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ci: fix coverity scan PATH

Browse Source
This commit is contained in:
Duncan Overbruck 2022-08-30 13:55:30 +02:00
parent 4dd9d17e08
commit eaf47d6e06
No known key found for this signature in database
GPG Key ID: 335C1D17EC3D6E35
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/coverity-scan.yml vendored
View File

@ -30,7 +30,7 @@ jobs:
- name: Configure and build - name: Configure and build
run: | run: |
CC=gcc ./configure --enable-tests CC=gcc ./configure --enable-tests
PATH=/tmp/build-dir/cov-analysis-linux64/bin:$PATH cov-build --dir cov-int make -j$(nproc) PATH=$PWD/cov-analysis-linux64/bin:$PATH cov-build --dir cov-int make -j$(nproc)
- name: Submit the result to Coverity Scan - name: Submit the result to Coverity Scan
run: | run: |