run the coverity workflow on a push

rgacogne · Aug 22, 2024 · 3df53df · 3df53df
1 parent 1fc8c9f
commit 3df53df
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/run-coverity.yml b/.github/workflows/run-coverity.yml
@@ -0,0 +1,17 @@
+---
+name: 'Run coverity for dnsdist'
+
+on:
+  push:
+
+permissions: # least privileges, see https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#permissions
+  contents: read
+
+jobs:
+  call-coverity:
+    uses: rgacogne/pdns/.github/workflows/coverity.yml@fix-coverity
+    with:
+      product: dnsdist
+    secrets:
+      COVERITY_TOKEN: ${{ secrets.COVERITY_TOKEN }}
+      COVERITY_EMAIL: ${{ secrets.COVERITY_EMAIL }}