Skip to content

Commit

Permalink
Revert to ubuntu, coverity tools on macOS are not batch friendly.
Browse files Browse the repository at this point in the history
  • Loading branch information
dillof committed Dec 22, 2023
1 parent 00df34f commit e6ae384
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions .github/workflows/coverity.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ on:
jobs:
build:
name: Coverity
runs-on: macos-latest
runs-on: ubuntu-latest
environment: coverity

env:
Expand All @@ -30,8 +30,8 @@ jobs:

- name: Install Dependencies
run: |
brew update
brew reinstall libzip
sudo apt-get -qq update;
sudo apt-get install -y libxml2-dev libsqlite3-0 libzip-dev zipcmp
- name: Configure
run: |
Expand All @@ -40,15 +40,15 @@ jobs:
- name: Download Coverity
run: |
wget --quiet https://scan.coverity.com/download/macOS --post-data "token=$TOKEN&project=$PROJECT" -O "$COV_TOOLS.tar.gz"
wget --quiet https://scan.coverity.com/download/linux64 --post-data "token=$TOKEN&project=$PROJECT" -O "$COV_TOOLS.tar.gz"
mkdir "$COV_TOOLS"
tar xzf "$COV_TOOLS.tar.gz" --strip 1 -C "$COV_TOOLS"
ls -l "$COV_TOOLS"
- name: Build with Coverity
run: |
export PATH="$(pwd)/$COV_TOOLS/bin:$PATH"
cov-build --dir $COV_RESULTS make -j ${{steps.cpu-cores.outputs.count}}
cov-build --dir $COV_RESULTS make -j
# Filter out private info
sed -E -i 's/TOKEN=([-_A-Za-z0-9]+)/TOKEN=XXX/g' cov-int/build-log.txt
Expand Down

0 comments on commit e6ae384

Please sign in to comment.