Skip to content

Merge Develop into Release #1847

Merge Develop into Release

Merge Develop into Release #1847

name: semgrep-rules-pro benchmark
on:
workflow_dispatch:
push:
branches: [develop, release]
pull_request:
branches: [develop, release]
jobs:
trigger:
# do not run automatically if rule is posted from the playground (can still be started manually)
# PRs posted by first time contributors already need approval as well
if: github.actor != 'semgrep-dev-pr-bot'
runs-on: ubuntu-20.04
steps:
- id: trigger-run
name: Trigger semgrep-rules-pro benchmarking argo workflow on PR/push to develop or release
env:
RULES_REPO: ${{ github.event.repository.name }}
COMP_BRANCH: ${{ github.head_ref }}
BASE_BRANCH: ${{ github.event.pull_request.base.ref }}
run: |
curl -X POST https://argoworkflows-dev2.corp.semgrep.dev/api/v1/events/security-research/pro-perf-scan-test -H "Authorization: ${{ secrets.ARGO_WORKFLOWS_TOKEN }}" -d "{\"base_branch\": \"$BASE_BRANCH\", \"comparison_branch\": \"$COMP_BRANCH\", \"rules_repository\": \"$RULES_REPO\"}"