From fba94d94ba0eb8525ed18d875a3fd51a1aba4b69 Mon Sep 17 00:00:00 2001
From: Ivan Cvitkovic <ivanc@uw.edu>
Date: Wed, 22 Nov 2023 05:50:34 -0800
Subject: [PATCH] Remove Semgrep (#4351)

Remove failing Semgrep CI integration
---
 .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 a86699f2c3..0000000000
--- a/.github/workflows/semgrep.yml
+++ /dev/null
@@ -1,19 +0,0 @@
-on:
-  pull_request: {}
-  push:
-    branches:
-    - main
-    - master
-    - develop
-name: Semgrep
-jobs:
-  semgrep:
-    name: Scan
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v2
-    - uses: returntocorp/semgrep-action@v1
-      with:
-        auditOn: push
-        publishToken: ${{ secrets.SEMGREP_APP_TOKEN }}
-        publishDeployment: 2574