fixes issue-9896: convert ICE at db.rs:370 into a clean Maybe::Err#9897
Open
anon-researchers-123 wants to merge 1 commit into
Open
fixes issue-9896: convert ICE at db.rs:370 into a clean Maybe::Err#9897anon-researchers-123 wants to merge 1 commit into
anon-researchers-123 wants to merge 1 commit into
Semgrep Code - starkware-libs / semgrep-cloud-platform/scan
succeeded
May 6, 2026 in 10m 19s
Summary
This check concluded as success.
Loading