Skip to content

misc/lean: check Lean models attached to design docs - #39512

Draft
antiguru wants to merge 8 commits into
MaterializeInc:mainfrom
antiguru:moritz/lean-design-models
Draft

antiguru wants to merge 8 commits into
MaterializeInc:mainfrom
antiguru:moritz/lean-design-models

misc/lean: check Lean models attached to design docs

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

Annotations

1 warning and 1 notice
linkify
succeeded Oct 3, 2026 in 4s