From 2e0ac7da6fcb90dc706192eb785363bb181af4f1 Mon Sep 17 00:00:00 2001
From: Tobias Bieniek <tobias@bieniek.cloud>
Date: Tue, 1 Jul 2025 15:33:15 +0200
Subject: [PATCH] CI: Remove Postgres update

It looks like the current `ubuntu-24.04` runners come with Postgres 16 pre-installed, so there is no need for us to remove it only to install the same thing again. This should save use about 1-2 min on this job.
---
 .github/workflows/ci.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 5c4ca1a9cf3..a3177e1fe32 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -27,8 +27,6 @@ env:
   OXIPNG_VERSION: 9.1.5
   # renovate: datasource=npm depName=pnpm
   PNPM_VERSION: 10.12.4
-  # renovate: datasource=docker depName=postgres
-  POSTGRES_VERSION: 16
   # renovate: datasource=github-releases depName=typst/typst versioning=semver
   TYPST_VERSION: 0.13.1
   # renovate: datasource=pypi depName=zizmor
@@ -201,8 +199,6 @@ jobs:
         with:
           save-if: ${{ github.ref == 'refs/heads/main' }}
 
-      # Update `pg_dump` to the same version as the running PostgreSQL server
-      - run: sudo /usr/share/postgresql-common/pgdg/apt.postgresql.org.sh -v ${POSTGRES_VERSION} -i -p
       - run: sudo systemctl start postgresql.service
       - run: sudo -u postgres psql -c "ALTER USER postgres WITH PASSWORD 'postgres'"