From 089f4db92064cff021684312317a9f7bbdcde4ae Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Fri, 13 Jun 2025 10:26:01 -0400
Subject: Disable timeout for CI builds

Basically every time I try to run CI it times out, so just disable timeout on CI
jobs for now.
---
 Omni/Ci.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Omni/Ci.sh b/Omni/Ci.sh
index 609e9aa..a749b7a 100755
--- a/Omni/Ci.sh
+++ b/Omni/Ci.sh
@@ -14,6 +14,9 @@
   set -u
 ##
   [[ -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)
-- 
cgit v1.2.3