Repository navigation
fix(codex): drop local_shell tool (no longer supported upstream) - #5250
Merged
diegosouzapw merged 2 commits intoJun 28, 2026
Semgrep Code - diegosouzapw / semgrep-cloud-platform/scan
succeeded
Jun 28, 2026 in 2m 9s
Summary
This check concluded as success.
Loading