Skip to content

#243: Rename pgtde_is_encrypted() to pg_tde_is_encrypted() #606

#243: Rename pgtde_is_encrypted() to pg_tde_is_encrypted()

#243: Rename pgtde_is_encrypted() to pg_tde_is_encrypted() #606

Re-run triggered July 22, 2024 19:33
Status Success
Total duration 3m 15s
Artifacts 2
pg-16-pgdg-package-pgxs-build
3m 4s
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
481 KB
pg_tde_pgdg16_binary Expired
582 KB