No toolkit available for pg17 yet

timescale · Oct 8, 2024 · 9556b95 · 9556b95
1 parent 0bcf031
commit 9556b95
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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
 }