chore(ci): disable semgrep

aevea · Jan 25, 2021 · 6eace45 · 6eace45
1 parent bbd0f2b
commit 6eace45
Showing 1 changed file with 14 additions and 14 deletions.
diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml
@@ -1,14 +1,14 @@
-name: Semgrep
-on: [pull_request]
-jobs:
-  semgrep:
-    name: Scan
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v1
-      - uses: returntocorp/semgrep-action@v1
-        env: # Optional environment variable for inline PR comments (beta)
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        with:
-          publishToken: ${{ secrets.SEMGREP_APP_TOKEN }}
-          publishDeployment: 174
+# name: Semgrep
+# on: [pull_request]
+# jobs:
+#   semgrep:
+#     name: Scan
+#     runs-on: ubuntu-latest
+#     steps:
+#       - uses: actions/checkout@v1
+#       - uses: returntocorp/semgrep-action@v1
+#         env: # Optional environment variable for inline PR comments (beta)
+#           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+#         with:
+#           publishToken: ${{ secrets.SEMGREP_APP_TOKEN }}
+#           publishDeployment: 174