Skip to content

Improve the low-level API for non-fatal diagnostics#13

Merged
Georgiy-Tugai merged 3 commits into
forest-rs:mainfrom
Georgiy-Tugai:diagnostics-sink
Jun 4, 2026
Merged

Improve the low-level API for non-fatal diagnostics#13
Georgiy-Tugai merged 3 commits into
forest-rs:mainfrom
Georgiy-Tugai:diagnostics-sink

Commits

Commits on Jun 4, 2026