diff options
Diffstat (limited to '.github/workflows/coverity.yml')
-rw-r--r-- | .github/workflows/coverity.yml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml new file mode 100644 index 00000000..d25bb4f7 --- /dev/null +++ b/.github/workflows/coverity.yml @@ -0,0 +1,15 @@ +name: Coverity Scan +on: + schedule: + - cron: '0 23 * * *' # Daily at 23:00 UTC +jobs: + build: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v1 + - name: dependencies + run: sudo apt install libasr-dev libevent-dev libssl-dev bison + - name: scan + run: sh ci/scripts/coverity_scan.sh + env: + token: ${{ secrets.COVERITY_SCAN_TOKEN }} |