Remove dev.semgrep.dev from update-registry job

trailofbits · Mar 11, 2024 · 2d93dfc · 2d93dfc
1 parent 4adfd43
commit 2d93dfc
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