Skip to content

chore: use pgrx version 0.19.2 in release workflow - #649

Merged
imor merged 1 commit into
masterfrom
rs/correct-pgrx-version
Aug 26, 2026
Merged

chore: use pgrx version 0.19.2 in release workflow#649
imor merged 1 commit into
masterfrom
rs/correct-pgrx-version

Conversation

@imor

@imor imor commented Aug 26, 2026

Copy link
Copy Markdown
Contributor

In a previous commit updating the pgrx version in the release workflow was missed, this PR updates that.

@imor
imor merged commit f46687d into master Aug 26, 2026
12 checks passed
@imor
imor deleted the rs/correct-pgrx-version branch August 26, 2026 12:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants