Skip to content

Fix #12643: Pipe structured BuilderProblems into DiagnosticCollector - #12647

Draft
gnodet wants to merge 2 commits into
feature/12571-build-reportfrom
fix/12643-structured-problems
Draft

Fix #12643: Pipe structured BuilderProblems into DiagnosticCollector#12647
gnodet wants to merge 2 commits into
feature/12571-build-reportfrom
fix/12643-structured-problems

Commits

Commits on Jul 31, 2026