Transition to new API#37

Open

gertjanvanzwieten wants to merge 9 commits into

mainfrom

Commits on Apr 13, 2026

Prepare transition to new Log protocol
Gertjan van Zwieten
committed
Convert StdoutLog to new log protocol
Gertjan van Zwieten
committed
Convert RichOutputLog to new log protocol
Gertjan van Zwieten
committed
Convert LoggingLog to new log protocol
Gertjan van Zwieten
committed
Convert DataLog to new log protocol
Gertjan van Zwieten
committed
Convert NullLog to new log protocol
Gertjan van Zwieten
committed
Convert HtmlLog to new log protocol
Gertjan van Zwieten
committed
Convert RecordLog to new log protocol
Gertjan van Zwieten
committed
Switch to new log protocol
Gertjan van Zwieten
committed