Skip to content

Commit 97d9f32

Browse files
authored
CI: Remove Postgres update (#11485)
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.
1 parent e18cacb commit 97d9f32

File tree

1 file changed

+0
-4
lines changed

1 file changed

+0
-4
lines changed

.github/workflows/ci.yml

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -27,8 +27,6 @@ env:
2727
OXIPNG_VERSION: 9.1.5
2828
# renovate: datasource=npm depName=pnpm
2929
PNPM_VERSION: 10.12.4
30-
# renovate: datasource=docker depName=postgres
31-
POSTGRES_VERSION: 16
3230
# renovate: datasource=github-releases depName=typst/typst versioning=semver
3331
TYPST_VERSION: 0.13.1
3432
# renovate: datasource=pypi depName=zizmor
@@ -201,8 +199,6 @@ jobs:
201199
with:
202200
save-if: ${{ github.ref == 'refs/heads/main' }}
203201

204-
# Update `pg_dump` to the same version as the running PostgreSQL server
205-
- run: sudo /usr/share/postgresql-common/pgdg/apt.postgresql.org.sh -v ${POSTGRES_VERSION} -i -p
206202
- run: sudo systemctl start postgresql.service
207203
- run: sudo -u postgres psql -c "ALTER USER postgres WITH PASSWORD 'postgres'"
208204

0 commit comments

Comments
 (0)