DO NOT MERGE THIS COMMIT

csutils · Feb 2, 2023 · a5642fe · a5642fe
1 parent 0137f1b
commit a5642fe
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
@@ -4,6 +4,8 @@ name: Coverity
 on:
   push:
     branches: [main]
+  pull_request:
+    branches: [main]
 
 jobs:
   coverity: