sync-with-PRO workflow

[aryx]

test plan:
trigger from GHA dashboard from this branch and
check if PR created in semgrep-pro

[github-actions]

PR checklist:

• Purpose of the code is evident to future readers
• Tests included or PR comment includes a reproducible test plan
• Documentation is up-to-date
• A changelog entry was added to changelog.d for any user-facing change
• Change has no security implications (otherwise, ping security team)

If you're unsure about any of this, please see:

• Contribution guidelines!
• One of the more specific guides located here

[r2c-argo]

semgrep-compare-github-6e6vg results

Ran benchmark on 38 repositories

The number of findings differs for 1 repos

Whole benchmark is 0.1% slower (a bit of noise is expected)

Relative speed improvement is 1.02 on average

Relative memory improvement is 1.00 on average

[r2c-argo]

semgrep-compare-github-ptqf7 results

Ran benchmark on 38 repositories

The number of files checked differs for 1 repos

The number of findings differs for 3 repos

Whole benchmark is 7.3% slower (a bit of noise is expected)

Relative speed improvement is 1.00 on average

• 3% of scans are significantly slower

Relative memory improvement is 1.00 on average