From 8d6e51f0ed63dd9498cac95a94baf1b684fd49b5 Mon Sep 17 00:00:00 2001
From: klarkc <walkerleite490@gmail.com>
Date: Mon, 13 May 2024 12:16:23 -0300
Subject: [PATCH] ci: disable pix-ctl-full develop test

---
 .github/workflows/test.sh | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/test.sh b/.github/workflows/test.sh
index 325eb78..4566c26 100755
--- a/.github/workflows/test.sh
+++ b/.github/workflows/test.sh
@@ -12,7 +12,6 @@ set -ex
 
 develop () {
 	nix develop -c "echo" --show-trace --print-build-logs --verbose
-
 }
 
 check () {
@@ -44,6 +43,12 @@ else
 		nix flake init -t "${SOURCE_DIR}#${TMPL}"
 		# test the target
 		check
-		develop
+
+		if [ "$TMPL" != "pix-ctl-full" ]; then
+			# FIXME slow CI on pix-ctl-full develop
+			echo "WARN: skipping slow develop on pix-ctl-full"
+		else
+			develop
+		fi
 	)
 fi