From ba2a4b73a6f634127652ded97e854474f3a9e7e6 Mon Sep 17 00:00:00 2001 From: Kunal Gadgil Date: Thu, 9 Apr 2026 14:36:11 -0700 Subject: [PATCH] ci: remove semgrep workflow --- .github/workflows/semgrep.yml | 19 ------------------- 1 file changed, 19 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 8e99e24387..0000000000 --- a/.github/workflows/semgrep.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: Semgrep -on: - pull_request: - workflow_dispatch: - -jobs: - semgrep: - name: Run Semgrep - runs-on: ubuntu-latest - timeout-minutes: 30 - container: - # A Docker image with Semgrep installed. Do not change this. - image: returntocorp/semgrep - if: (github.actor != 'dependabot[bot]') - steps: - - uses: actions/checkout@v4 - - run: semgrep ci - env: - SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN_PUBLIC }}