Repository navigation
perf: cheaper decoding and challenge setup for RISC-V guest verifiers - #188
Merged
Merged
Socket Security / Socket Security: Pull Request Alerts
succeeded
Oct 27, 2026 in 2s
Pull Request #188 Alerts: Skipped
| Report | Status | Message |
|---|---|---|
| PR #188 Alerts | ✅ | Pull request contains no net changes to dependencies |
Pull request alerts notify when new issues are detected between the diff of the pull request and it's target branch.
Details
No dependency changes detected. Learn more about Socket for GitHub.
👍 No dependency changes detected in pull request
Loading