Skip to content

Use a custom prefix instead of a hardcoded serverid for keys #181

Use a custom prefix instead of a hardcoded serverid for keys

Use a custom prefix instead of a hardcoded serverid for keys #181

Triggered via pull request November 30, 2023 10:12
Status Success
Total duration 1m 38s
Artifacts 2
pg-16-pgdg-package-pgxs-build
1m 28s
pg-16-pgdg-package-pgxs-build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
pg-16-pgdg-package-pgxs-build
Failed to remove 'http.https://github.com/.extraheader' from the git config

Artifacts

Produced during runtime
Name Size
pg_tde_deb Expired
398 KB
pg_tde_pgdg16_binary Expired
1000 KB