Skip to content

ci: correct PGDG key URL case in release-server#7

Merged
jaredLunde merged 1 commit into
mainfrom
fix/pgdg-key
Jun 21, 2026
Merged

ci: correct PGDG key URL case in release-server#7
jaredLunde merged 1 commit into
mainfrom
fix/pgdg-key

Commits

Commits on Jun 21, 2026