1 files changed, 3 insertions, 0 deletions
diff --git a/Omni/Ci.sh b/Omni/Ci.sh
index 609e9aa..a749b7a 100755
--- a/Omni/Ci.sh
+++ b/Omni/Ci.sh
@@ -15,6 +15,9 @@
 ##
   [[ -n $(git status -s) ]] && { echo fail: dirty worktree; exit 1; }
 ##
+## disable timeout for ci builds
+  BILD_ARGS="--time 0 ${BILD_ARGS:-""}"
+##
   at=$(date -R)
   user=$(git config --get user.name)
   mail=$(git config --get user.email)