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

Commits on Sep 8, 2026

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

tianzhou
and
claude
committed
f569d02
fix: mirror extensions installed in pg_catalog; only skip plpgsql

tianzhou
and
claude
committed
51b9b54
fix: retry extension installs until fixpoint so prerequisites need no ordering

tianzhou
and
claude
committed
5adbf71