chore: disable semgrep on push events

frappe · Jul 16, 2021 · fbc4543 · fbc4543
1 parent 9ed3662
commit fbc4543
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml
@@ -2,8 +2,6 @@ name: Semgrep
 
 on:
   pull_request: { }
-  push:
-      branches: ["develop"]
 
 jobs:
   semgrep: