Skip to content

fix: mirror target extensions into the embedded plan database (#584) - #585

Merged
tianzhou merged 3 commits into
mainfrom
fix/issue-584-embedded-plan-extensions
Sep 8, 2026
Merged

fix: mirror target extensions into the embedded plan database (#584)#585
tianzhou merged 3 commits into
mainfrom
fix/issue-584-embedded-plan-extensions

fix: retry extension installs until fixpoint so prerequisites need no…

5adbf71
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar