diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml new file mode 100644 index 0000000..bff6ed0 --- /dev/null +++ b/.github/workflows/coverity.yml @@ -0,0 +1,21 @@ +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 + steps: + - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1 + - uses: vapier/coverity-scan-action@2068473c7bdf8c2fb984a6a40ae76ee7facd7a85 # v1.8.0 + with: + email: ${{ secrets.COVERITY_SCAN_EMAIL }} + token: ${{ secrets.COVERITY_SCAN_TOKEN }} + working-directory: 'src'