Skip to content

fix: lake: fetch plugin and link facets on the fetching thread - #15696

Draft
rbeauchamp wants to merge 1 commit into
leanprover:masterfrom
rbeauchamp:fm/lean4-lake-plugin-race
Draft

fix: lake: fetch plugin and link facets on the fetching thread#15696
rbeauchamp wants to merge 1 commit into
leanprover:masterfrom
rbeauchamp:fm/lean4-lake-plugin-race

Commits

  1. Commits on Oct 14, 2026