Run coverity on release as well (#7)

teragrep · Jan 30, 2023 · da9bc38 · da9bc38
1 parent e41dbd0
commit da9bc38
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
@@ -1,6 +1,13 @@
 name: Coverity Scan
 
 on:
+  release:
+    types: [published]
+    secrets:
+      COVERITY_TOKEN:
+        required: true
+      COVERITY_EMAIL:
+        required: true
   pull_request_review:
     types: [submitted]
     secrets: