From b9e2da854dd978bfe09ccc3722f01bcb569a172f Mon Sep 17 00:00:00 2001
From: "David E. Wheeler" <david@justatheory.com>
Date: Mon, 14 Aug 2023 17:07:05 -0400
Subject: [PATCH] Do without server-dev?

---
 .github/workflows/test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index dd30ad54..010c5a4a 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -68,5 +68,5 @@ jobs:
         # See also https://askubuntu.com/a/104912 for --force options
         run: |
           make install
-          apt-get install -qq -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" postgresql-${{ matrix.upgrade_to }} postgresql-server-dev-${{ matrix.upgrade_to }}
+          apt-get install -qq -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" postgresql-${{ matrix.upgrade_to }}
           sudo -u postgres test/test_MVU.sh -s 55432 55433 "${{ matrix.version }}" "${{ matrix.upgrade_to }}"