From 0d5cf01c760f7ad8c3f42d737dae762ea3e2b1a6 Mon Sep 17 00:00:00 2001 From: Dominic Couture Date: Thu, 9 Oct 2025 11:16:29 +0100 Subject: [PATCH] chore: Remove Semgrep workflow Semgrep scans for this project are managed from Semgrep SaaS directly now, the workflow file causes the scans to run twice. --- .github/workflows/semgrep.yml | 24 ------------------------ 1 file changed, 24 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 a055370af61..00000000000 --- a/.github/workflows/semgrep.yml +++ /dev/null @@ -1,24 +0,0 @@ -name: Semgrep -on: - workflow_dispatch: {} - 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: '31 22 * * *' -jobs: - semgrep: - name: semgrep/ci - runs-on: ubuntu-22.04 - env: - SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }} - container: - image: returntocorp/semgrep - if: (github.actor != 'dependabot[bot]') - steps: - - uses: actions/checkout@v4 - - run: semgrep ci