From 0cdc7fe29ae183cbe156182e3b83fcf43bdd46af Mon Sep 17 00:00:00 2001 From: "David E. Wheeler" Date: Fri, 30 Aug 2024 13:52:23 -0400 Subject: [PATCH] Fix incomplete description --- .github/workflows/publish.yml | 2 +- content/post/postgres/extension-preloading.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index 2573004f..a88e9281 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml @@ -8,7 +8,7 @@ jobs: - name: Check out Source uses: actions/checkout@v4 - name: Build the Site - uses: docker://hugomods/hugo:base-0.131.0 + uses: docker://hugomods/hugo:base-0.133.1 with: { args: hugo } - name: Generate Publish Script run: ./bin/publish public justatheory.com E1X44SJ45FTNGI 1 > publish.sh diff --git a/content/post/postgres/extension-preloading.md b/content/post/postgres/extension-preloading.md index 9117b3fa..5883c9d6 100644 --- a/content/post/postgres/extension-preloading.md +++ b/content/post/postgres/extension-preloading.md @@ -6,7 +6,7 @@ lastMod: 2024-08-07T18:25:51Z description: | When should a Postgres extension be pre-loaded and when should it not? Should it be loaded in user sessions or at server startup? For the Tembo - blog, I + blog, I dug into this question and wrote up my findings. tags: [PGXN, Postgres, Extensions, Preload, Extensions Book] type: post link: https://tembo.io/blog/library-preloading