Skip to content

End the run as usual when the reader of a pipe stops early to close #839 - #840

Merged
mathiasrw merged 29 commits into
mainfrom
fix/839
Oct 23, 2026
Merged

End the run as usual when the reader of a pipe stops early to close #839#840
mathiasrw merged 29 commits into
mainfrom
fix/839

Commits

  1. Commits on Oct 23, 2026