Skip to content

Capture writes to standard_error from evaluated code - #2

Closed
bbatsov wants to merge 3 commits into
proof-fixesfrom
stderr-capture
Closed

bbatsov wants to merge 3 commits into
proof-fixesfrom
stderr-capture

Show stderr output in chaser as output, not as errors

4857325
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
chaser (27)
succeeded Oct 2, 2026 in 44s