Sync with Pro#463
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
|
opam exec -- ./scripts/check-backwards-compatibility |