Remove dev.semgrep.dev from update-registry job

trailofbits · Jan 16, 2024 · 0801671 · 0801671
1 parent 92e7cb4
commit 0801671
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/update-semgrep-registry.yml b/.github/workflows/update-semgrep-registry.yml
@@ -8,8 +8,6 @@ jobs:
     name: Update semgrep.dev
     runs-on: ubuntu-latest
     steps:
-      - name: update dev.semgrep.dev
-        run: curl --fail -X POST -L https://dev.semgrep.dev/api/admin/update-registry
       - name: update staging.semgrep.dev
         run: curl --fail -X POST -L https://staging.semgrep.dev/api/admin/update-registry
       - name: update semgrep.dev