diff options
| author | Ben Sima <ben@bsima.me> | 2025-06-13 10:26:01 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-06-13 10:26:01 -0400 |
| commit | 089f4db92064cff021684312317a9f7bbdcde4ae (patch) | |
| tree | 3a0b258cf18a1192e23ca896b848088ff7a89c42 /Omni/Ci.sh | |
| parent | 202c8cf1112bf59ce8dbec886af02c226c0f4b3e (diff) | |
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.
Diffstat (limited to 'Omni/Ci.sh')
| -rwxr-xr-x | Omni/Ci.sh | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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) |