Remove workaround for miri not supporting poll - #1658
Merged
bjorn3 merged 1 commit intoJul 15, 2026
GitHub Advanced Security / zizmor
succeeded
Jul 14, 2026 in 2s
No new alerts in code changed by this pull request
Loading