From a447956f5572d352e9ae09af748711cb88f87431 Mon Sep 17 00:00:00 2001 From: Matt Schwager Date: Tue, 16 Jan 2024 10:04:35 -0700 Subject: [PATCH] Remove dev.semgrep.dev from update-registry job --- .github/workflows/update-semgrep-registry.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/update-semgrep-registry.yml b/.github/workflows/update-semgrep-registry.yml index a6b4d92..bec1a67 100644 --- 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