From 94802dda59eb2dbfcd390ea8fe4754332636cb3e Mon Sep 17 00:00:00 2001
From: Rostom Zouaghi <rostom.zouaghi@gmail.com>
Date: Wed, 27 Mar 2024 22:30:37 +0000
Subject: [PATCH] delete semgrep

---
 .github/workflows/semgrep.yaml | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 .github/workflows/semgrep.yaml

diff --git a/.github/workflows/semgrep.yaml b/.github/workflows/semgrep.yaml
deleted file mode 100644
index ce129f117f6..00000000000
--- a/.github/workflows/semgrep.yaml
+++ /dev/null
@@ -1,17 +0,0 @@
-name: Semgrep
-on:
-  workflow_dispatch: {}
-  pull_request: {}
-  push:
-    branches:
-      - master
-    paths:
-      - .github/workflows/semgrep.yaml
-  schedule:
-    # random HH:MM to avoid a load spike on GitHub Actions at 00:00
-    - cron: 23 18 * * *
-
-jobs:
-  security-scan:
-    uses: permutive/github-workflows/.github/workflows/semgrep.yaml@master
-    secrets: inherit