From 8503160a355e3609f711ef8ccb7b085ef421d22d Mon Sep 17 00:00:00 2001
From: Jacob Bednarz <jacob.bednarz@gmail.com>
Date: Tue, 19 Nov 2024 07:47:50 +1100
Subject: [PATCH] ci: remove semgrep on each PR creation

The semgrep setup is slow on large repositories. Move it to a once a day task instead.
---
 .github/workflows/semgrep.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml
index 641dea1cbb7aa7..fce9be5c8792d1 100644
--- a/.github/workflows/semgrep.yml
+++ b/.github/workflows/semgrep.yml
@@ -1,5 +1,4 @@
 on:
-  pull_request: {}
   workflow_dispatch: {}
   schedule:
     - cron: "0 4 * * *"