aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/coverity.yml
diff options
context:
space:
mode:
Diffstat (limited to '.github/workflows/coverity.yml')
-rw-r--r--.github/workflows/coverity.yml21
1 files changed, 21 insertions, 0 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
new file mode 100644
index 0000000..ab33388
--- /dev/null
+++ b/.github/workflows/coverity.yml
@@ -0,0 +1,21 @@
+name: coverity
+on:
+ push:
+ branches:
+ - master
+
+jobs:
+ coverity:
+ timeout-minutes: 5
+ runs-on: ubuntu-20.04
+ steps:
+ - uses: actions/checkout@v2
+ - name: run-scan
+ run: |
+ sudo apt-get update
+ sudo apt-get -y install libjson-c-dev libcmocka-dev clang valgrind \
+ python3-pytest debianutils
+ make coverity VERBOSE=1
+ env:
+ COVERITY_TOKEN: ${{ secrets.COVERITY_TOKEN }}
+ COVERITY_EMAIL: ${{ secrets.COVERITY_EMAIL }}