Skip to content

ci: cargo pgrx init before package in release-server#8

Merged
jaredLunde merged 1 commit into
mainfrom
fix/pgrx-init
Jun 21, 2026
Merged

ci: cargo pgrx init before package in release-server#8
jaredLunde merged 1 commit into
mainfrom
fix/pgrx-init

ci(release-server): cargo pgrx init before package ($PGRX_HOME)

a5ff327
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
lint
succeeded Jun 21, 2026 in 1m 10s