Sync with Pro#464
Conversation
semgrep-ci
Bot
commented
May 22, 2026
# Release Checklist - [x] Tests/CI passes on this Pull Request - [x] At least one approval on this PR Don't forget to merge this PR to move on to the next step of the release! Co-authored-by: semgrep-ci[bot] <106279034+semgrep-ci[bot]@users.noreply.github.com> synced from Pro b09fa5fa4a8afb008c507392919b087838aa8599
Reverts semgrep/semgrep-proprietary#6381. Sync-with-OSS failed synced from Pro 1946c7478fdd9ba6443583cd28fcf81d22b5e432
|
opam exec -- ./scripts/check-backwards-compatibility |