Add GitHub workflow for running Coverity scans.

2026-10-11 22:49:58 +00:00 · 2022-06-24 10:47:59 +02:00
parent b2c672a904
commit 97c81fdb10
1 changed files with 15 additions and 0 deletions
@@ -0,0 +1,15 @@
+name: Coverity Scan
+
+on:
+  push:
+    branches: [main]
+
+jobs:
+  coverity:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: vapier/coverity-scan-action@v1
+      with:
+        email: ${{ secrets.COVERITY_SCAN_EMAIL }}
+        token: ${{ secrets.COVERITY_SCAN_TOKEN }}