Skip to content

Merge pull request #3410 from semgrep/merge-develop-to-release #805

Merge pull request #3410 from semgrep/merge-develop-to-release

Merge pull request #3410 from semgrep/merge-develop-to-release #805

name: Deploy to semgrep.dev
on:
push:
branches:
- release
jobs:
do-update:
if: github.repository == 'semgrep/semgrep-rules'
name: Update semgrep.dev
runs-on: ubuntu-latest
steps:
- name: update semgrep.dev
run: curl --fail -X POST -L https://semgrep.dev/api/admin/update-registry?rule_type=sast