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 <[email protected]>
trailofbits · Mar 11, 2024 · f927ddb · f927ddb
1 parent 4adfd43
commit f927ddb
Showing 1 changed file with 2 additions and 4 deletions.
diff --git 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