[backport 1.12.1] Update core to pickup shutdown fix - #702
Merged
yuandrew merged 1 commit intoMay 15, 2026
Merged
Semgrep managed scans / semgrep-cloud-platform/scan
succeeded
May 15, 2026 in 2m 24s
Summary
This check concluded as success.
Loading