From b1e363b1f149deb4a267c390014ffc37da5f4bb1 Mon Sep 17 00:00:00 2001
From: Daniele Varrazzo <daniele.varrazzo@gmail.com>
Date: Sun, 10 Sep 2023 23:55:06 +0100
Subject: [PATCH] ci: install header files to fix test build

---
 .github/workflows/tests.yml | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 581395c..24ed299 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -15,12 +15,18 @@ concurrency:
 
 jobs:
   tests:
-    strategy:
-      matrix:
-        pg: [12, 11, 10, 9.6, 9.5, 9.4, 9.3, 9.2]
     runs-on: ubuntu-latest
     container: pgxn/pgxn-tools
+    strategy:
+      fail-fast: false
+      matrix:
+        pg: [16, 15, 14, 13, 12, 11, 10]
     steps:
-      - run: pg-start ${{ matrix.pg }}
-      - uses: actions/checkout@v3
-      - run: pg-build-test
+      - name: Start PostgreSQL ${{ matrix.pg }}
+        run: pg-start ${{ matrix.pg }}
+      - name: Check out the repo
+        uses: actions/checkout@v3
+      - name: install GMP dev library
+        run: apt-get update && apt-get install -y libgmp-dev
+      - name: Test on PostgreSQL ${{ matrix.pg }}
+        run: pg-build-test