Skip to content

Commit

Permalink
Coverity scan (#454)
Browse files Browse the repository at this point in the history
* coverity scan workflow

* on push to main
  • Loading branch information
tjs-intel authored May 8, 2024
1 parent 377b8f6 commit fff6d2c
Showing 1 changed file with 18 additions and 0 deletions.
18 changes: 18 additions & 0 deletions .github/workflows/coverity.yml
Original file line number Diff line number Diff line change
@@ -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"

0 comments on commit fff6d2c

Please sign in to comment.