Skip to content

Commit

Permalink
Add coverity scan CI
Browse files Browse the repository at this point in the history
  • Loading branch information
ZzEeKkAa committed Sep 12, 2023
1 parent 8b0d09c commit 81ab193
Showing 1 changed file with 45 additions and 0 deletions.
45 changes: 45 additions & 0 deletions .github/workflows/coverity.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,45 @@
name: Coverity
on:
push:
branches:
- main
workflow_dispatch:

jobs:
Coverity:

runs-on: ubuntu-latest

env:
CHECKERS: --concurrency --security --rule --enable-constraint-fpp --enable-fnptr --enable-virtual --webapp-security --enable-audit-checkers --enable-default

steps:
- uses: actions/checkout@v2
- uses: actions/setup-java@v1
with:
java-version: 11

- name: Coverity Download
run: |
mkdir -p /tmp/cov-analysis
wget https://scan.coverity.com/download/linux64 --post-data "token=${{ secrets.COV_TOKEN }}&project=IntelPython%2Fnumba-dpex" -O cov-analysis.tgz
tar -xzf cov-analysis.tgz --strip 1 -C /tmp/cov-analysis
rm cov-analysis.tgz
- name: Coverity Full Scan
if: ${{ github.event_name != 'pull_request' }}
run: |
export PATH=$PATH:/tmp/cov-analysis/bin
set -x
cov-build --dir cov-int --fs-capture-search $GITHUB_WORKSPACE --no-command
# cov-analyze --dir cov-int --ticker-mode none --strip-path $GITHUB_WORKSPACE $CHECKERS
tar czvf numba-dpex.tgz idir
rm -rf cov-int
curl --form token=${{ secrets.COV_TOKEN }} \
--form email=${{ secrets.COV_EMAIL }} \
--form [email protected] \
--form version="${{ github.sha }}" \
--form description="Coverity Scan ${{ github.repository }} / ${{ github.ref }}" \
https://scan.coverity.com/builds?project=IntelPython%2Fnumba-dpex

0 comments on commit 81ab193

Please sign in to comment.