From a5ff327035a4b2861694b282b3692e44205505f9 Mon Sep 17 00:00:00 2001
From: Jared Lunde <jared.lunde@gmail.com>
Date: Sat, 20 Jun 2026 18:28:22 -0700
Subject: [PATCH] ci(release-server): cargo pgrx init before package
 ($PGRX_HOME)

cargo pgrx package needs PGRX_HOME initialized against the target pg_config.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
---
 .github/workflows/release-server.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/release-server.yml b/.github/workflows/release-server.yml
index 76cb731..ce8d56d 100644
--- a/.github/workflows/release-server.yml
+++ b/.github/workflows/release-server.yml
@@ -73,6 +73,8 @@ jobs:
         run: |
           VERSION=${GITHUB_REF_NAME#server/v}
           PG_CONFIG=/usr/lib/postgresql/${{ matrix.pg }}/bin/pg_config
+          # pgrx needs PGRX_HOME initialized against this pg_config before package.
+          cargo pgrx init --pg${{ matrix.pg }} "${PG_CONFIG}"
           cargo pgrx package \
             --pg-config "${PG_CONFIG}" \
             --no-default-features --features pg${{ matrix.pg }} \