Skip to content

Commit

Permalink
[CP-Sec] Enable Coverity scan
Browse files Browse the repository at this point in the history
  • Loading branch information
carlewis committed May 31, 2024
1 parent 8e01ced commit bcca51b
Showing 1 changed file with 39 additions and 0 deletions.
39 changes: 39 additions & 0 deletions .github/workflows/coverity.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
name: Coverity Scan

# We only want to test official release code, not every pull request.
on:
push:
branches:
- main
- coverity

permissions: read-all

jobs:
coverity:
runs-on: ubuntu-latest
container: ghcr.io/codeplaysoftware/sycl-samples:main
steps:
- uses: actions/checkout@a5ac7e51b41094c92402da3b24376905380afc29 # v4.1.6
with:
submodules: "recursive"
- name: Configure image
run: >
apt update && apt install -y curl
- name: Configure CMake
run: >
cmake -B ${{github.workspace}}/build
-DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}}
-DCMAKE_CXX_COMPILER=clang++
-DENABLE_GRAPHICS=ON
-DENABLE_SPIR=ON
-DENABLE_CUDA=ON -DCUDA_COMPUTE_CAPABILITY=80
-DENABLE_HIP=ON -DHIP_GFX_ARCH=gfx90a
-DCMAKE_CXX_FLAGS='-Wall -Wextra -Wpedantic -Werror'
-G Ninja
- uses: vapier/coverity-scan-action@2068473c7bdf8c2fb984a6a40ae76ee7facd7a85 # v1.8.0
with:
email: ${{ secrets.COVERITY_SCAN_EMAIL }}
token: ${{ secrets.COVERITY_SCAN_TOKEN }}
command: cmake --build ${{github.workspace}}/build -- -k 0
working-directory: 'src'

0 comments on commit bcca51b

Please sign in to comment.