Skip to content

fix: pass Lake module setup to highlighted extractor - #222

Open
ejgallego wants to merge 8 commits into
leanprover:mainfrom
ejgallego:codex/highlighted-lake-setup
Open

fix: pass Lake module setup to highlighted extractor#222
ejgallego wants to merge 8 commits into
leanprover:mainfrom
ejgallego:codex/highlighted-lake-setup

test: cover shared FFI dependencies in highlighted extraction

21b9328
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
orphan-modules
succeeded Sep 10, 2026 in 21s