From 5fc4cea1ceed04f0c715f7789111377c13e391b8 Mon Sep 17 00:00:00 2001
From: ibrahim halatci <ihalatci@gmail.com>
Date: Tue, 21 Oct 2025 11:32:32 +0300
Subject: [PATCH] pin PostgreSQL server development package version to 17
 (#8286)

DESCRIPTION: pin PostgreSQL server development package version to 17
rather than full dev package which now pulls in 18 and Citus does not
yet support pg18
---
 .github/workflows/codeql.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 51799deab..16d821ffa 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -60,8 +60,7 @@ jobs:
           libzstd-dev \
           libzstd1 \
           lintian \
-          postgresql-server-dev-15 \
-          postgresql-server-dev-all \
+          postgresql-server-dev-17 \
           python3-pip \
           python3-setuptools \
           wget \