From 4637c9e32463a20554df4bd5337a928efa58df79 Mon Sep 17 00:00:00 2001 From: Shelikhoo Date: Sun, 26 Nov 2023 10:57:33 +0000 Subject: [PATCH] remove semgrep --- .github/workflows/semgrep.yml | 14 -------------- 1 file changed, 14 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 7e435c4f7..000000000 --- a/.github/workflows/semgrep.yml +++ /dev/null @@ -1,14 +0,0 @@ -name: Semgrep -on: [pull_request] -jobs: - semgrep: - name: Scan - runs-on: ubuntu-latest - container: - image: returntocorp/semgrep - if: (github.actor != 'dependabot[bot]') - steps: - - uses: actions/checkout@v3 - - run: semgrep ci - env: - SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }}