From 1c4469938c1cd23a05b8205153be5427281935e0 Mon Sep 17 00:00:00 2001 From: Eduardo Boronat Date: Wed, 23 Jul 2025 10:46:21 +0000 Subject: [PATCH] chore(ci): Remove Semgrep GHA Workflow --- .github/workflows/semgrep.yml | 15 --------------- 1 file changed, 15 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 84ef974..0000000 --- a/.github/workflows/semgrep.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: Semgrep -on: - pull_request_target: {} - push: - branches: ["main"] -jobs: - semgrep: - name: Scan - runs-on: ubuntu-latest - if: (github.actor != 'dependabot[bot]' && github.actor != 'snyk-bot') - steps: - - uses: actions/checkout@v2 - - uses: returntocorp/semgrep-action@v1 - with: - publishToken: ${{ secrets.SEMGREP_APP_TOKEN }}