remove semgrep

2024-02-27 03:18:06 +00:00 · 2023-11-26 10:58:08 +00:00
parent 90cd80eecf
commit 4637c9e324
1 changed files with 0 additions and 14 deletions
@@ -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 }}