fix: lake: apply moreServerOptions to package modules
#12943
Triggered via pull request
September 5, 2026 15:07
leanprover-bot
labeled
#15042
Status
Skipped
Total duration
10s
Artifacts
–
restart-on-label.yml
on: pull_request_target
restart-on-label