From f927ddbaea6d4f60260a6e9eaa8cedc8994d036d Mon Sep 17 00:00:00 2001 From: mschwager Date: Mon, 11 Mar 2024 10:26:30 -0600 Subject: [PATCH] Remove dev.semgrep.dev from update-registry job (#45) * Remove dev.semgrep.dev from update-registry job * add same param as rc2 --------- Co-authored-by: GrosQuildu --- .github/workflows/update-semgrep-registry.yml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/.github/workflows/update-semgrep-registry.yml b/.github/workflows/update-semgrep-registry.yml index a6b4d92..2354cc1 100644 --- a/.github/workflows/update-semgrep-registry.yml +++ b/.github/workflows/update-semgrep-registry.yml @@ -8,9 +8,7 @@ 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 + run: curl --fail -X POST -L https://staging.semgrep.dev/api/admin/update-registry?rule_type=sast - name: update semgrep.dev - run: curl --fail -X POST -L https://semgrep.dev/api/admin/update-registry + run: curl --fail -X POST -L https://semgrep.dev/api/admin/update-registry?rule_type=sast