From 93a74252de7bfd7d3ffa7bf69f8f5b685eed5ad3 Mon Sep 17 00:00:00 2001
From: wcgcyx <wcgcyx@gmail.com>
Date: Tue, 21 Nov 2023 13:44:51 +1000
Subject: [PATCH] Update ci.sh

---
 scripts/localdev/ci.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/localdev/ci.sh b/scripts/localdev/ci.sh
index 507fff5c..a05275c8 100755
--- a/scripts/localdev/ci.sh
+++ b/scripts/localdev/ci.sh
@@ -2,7 +2,7 @@
 set -ex
 
 ./start.sh &
-sleep 5
+sleep 10
 
 # Try at most 300 seconds
 counter=1