[backport 1.13.1] Update core to pickup shutdown fix - #696
Merged
jmaeagle99 merged 2 commits intoMay 15, 2026
Merged
Semgrep managed scans / semgrep-cloud-platform/scan
succeeded
May 15, 2026 in 2m 12s
Summary
This check concluded as success.
Loading