Use timeout with int instead of num_sec#309
Merged
mshriver merged 1 commit intoJun 4, 2026
Merged
Sourcery AI / Sourcery review
succeeded
Jun 2, 2026 in 55s
✅ Completed successfully
Sourcery completed the review and found no blocking security issues
Loading