Skip to content

Compare the timeout tiers exactly, not approximately (#727) - #729

Merged
leynos merged 3 commits into
mainfrom
return-exact-durations-from-the-reader
Sep 18, 2026
Merged

leynos merged 3 commits into
mainfrom
return-exact-durations-from-the-reader

Drive the watchdog floor through the function the contract calls

4c81243
Select commit
Loading
Failed to load commit list.
Sourcery AI / Sourcery review skipped Sep 18, 2026 in 0s

⏭️ Skipped

Sorry @leynos, you've used your own review budget of 250,000 diff characters for the last 7 days.

You can request another review in 8 hours and 52 minutes by commenting @sourcery-ai review. Upgrade to get a review now.