ci: release-server uses PGRX_PG_CONFIG_PATH (matches prod)#9

Merged

jaredLunde merged 1 commit into

mainfrom

fix/pgrx-config-path

Jun 21, 2026

Commits on Jun 21, 2026

ci(release-server): use PGRX_PG_CONFIG_PATH instead of pgrx init

jaredLunde
and
claude
committed