diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml new file mode 100644 index 00000000..19cb22d4 --- /dev/null +++ b/.github/workflows/coverity.yml @@ -0,0 +1,18 @@ +name: Coverity Scan + +on: + push: + branches: [main] +jobs: + coverity: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - run: git ls-files > git-ls-files.lst + - uses: vapier/coverity-scan-action@v1 + with: + project: sigopt-python + email: ${{ secrets.COVERITY_SCAN_EMAIL }} + token: ${{ secrets.COVERITY_SCAN_TOKEN }} + build_language: other + command: "--no-command --fs-capture-list git-ls-files.lst"