Skip to content

fix: lake: apply moreServerOptions to package modules - #15042

Merged
tydeu merged 1 commit into
leanprover:masterfrom
tydeu:lake/internal-server-opts
Sep 5, 2026
Merged

fix: lake: apply moreServerOptions to package modules#15042
tydeu merged 1 commit into
leanprover:masterfrom
tydeu:lake/internal-server-opts

fix: lake: apply `moreServerOptions` to package modules

3e87cf9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-body
succeeded Sep 5, 2026 in 3s