From 9556b9539eebaabb5f859ba179b3de6a5153aa96 Mon Sep 17 00:00:00 2001
From: Brent Graveland <brent@timescale.com>
Date: Tue, 8 Oct 2024 08:21:58 -0600
Subject: [PATCH] No toolkit available for pg17 yet

---
 cicd/shared.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/cicd/shared.sh b/cicd/shared.sh
index 7a71787e..62965619 100644
--- a/cicd/shared.sh
+++ b/cicd/shared.sh
@@ -194,6 +194,12 @@ check_toolkit() {
         fi
     done
 
+    # TODO: no toolkit for pg17 yet
+    if [ "$pg" -ge 17 ]; then
+        log "toolkit isn't available for pg$pg"
+        return
+    fi
+
     if [ "$found" = false ]; then error "no toolkit versions found for pg$pg"; fi
 }