From e1e55f9b3b6608d43b27833afb8b8567bc1e702f Mon Sep 17 00:00:00 2001
From: Pavel Boldyrev <627562+bpg@users.noreply.github.com>
Date: Tue, 19 Nov 2024 20:16:00 -0500
Subject: [PATCH] chore(ci): remove semgrep workflow (#1644)

Signed-off-by: Pavel Boldyrev <627562+bpg@users.noreply.github.com>
---
 .github/workflows/semgrep.yml | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 .github/workflows/semgrep.yml

diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml
deleted file mode 100644
index df500f9b..00000000
--- a/.github/workflows/semgrep.yml
+++ /dev/null
@@ -1,26 +0,0 @@
-name: Semgrep
-
-on:
-  pull_request: {}
-  push:
-    branches:
-      - main
-    paths:
-      - .github/workflows/semgrep.yml
-  schedule:
-    # random HH:MM to avoid a load spike on GitHub Actions at 00:00
-    - cron: 29 16 * * *
-
-jobs:
-  semgrep:
-    runs-on: ubuntu-latest
-    env:
-      SEMGREP_APP_TOKEN: "${{ secrets.SEMGREP_APP_TOKEN }}"
-    container:
-      image: returntocorp/semgrep
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v4
-
-      - name: Semgrep
-        run: semgrep ci