ci: remove PR trigger for semgrep (#7309)

jacobbednarz · penalosa · commit 6bdc66337843 · 2025-01-10T20:19:01.000Z
semgrep is slow and triggering this on all PR events is clogging the queue.
diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml
@@ -1,5 +1,4 @@
 on:
-  pull_request: {}
   workflow_dispatch: {}
   schedule:
     - cron: "0 0 * * *"
