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