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

Merge main into fix/839, with the detail of each error on its own line

3763002
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar