Skip to content

Poll timeout/interrupt/memory-limit inside dive loops; fix pulling should_stop - #27

Merged
legraina merged 2 commits into
mainfrom
fix/dive-loop-stop-polling
Aug 3, 2026
Merged

Poll timeout/interrupt/memory-limit inside dive loops; fix pulling should_stop#27
legraina merged 2 commits into
mainfrom
fix/dive-loop-stop-polling

Poll the memory limit inside dive loops, not just should_stop()

b5665b5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar