Skip to content

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
Merged

ci: release-server uses PGRX_PG_CONFIG_PATH (matches prod)#9
jaredLunde merged 1 commit into
mainfrom
fix/pgrx-config-path

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

b672e72
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
generated files up-to-date
succeeded Jun 21, 2026 in 1m 14s