diff options
author | lassulus <lassulus@lassul.us> | 2022-11-22 09:17:56 +0100 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2022-11-22 09:17:56 +0100 |
commit | 8f4dd6fb595bb14be37fd69320bad4aa9a51a9db (patch) | |
tree | b0c5ae871dbed76f84f637ee2129eb9cb0cf8b86 /krebs | |
parent | c5038e74f56d61b45fc10660d522e79e3e125a6a (diff) |
ci: raise timeout to 1h
Diffstat (limited to 'krebs')
-rw-r--r-- | krebs/3modules/ci/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/krebs/3modules/ci/default.nix b/krebs/3modules/ci/default.nix index 0f85b27c0..022da5884 100644 --- a/krebs/3modules/ci/default.nix +++ b/krebs/3modules/ci/default.nix @@ -115,6 +115,7 @@ let build_name = stage, build_script = stages[stage], ), + timeout = 3600, command="${pkgs.writeDash "build.sh" '' set -xefu profile=${shell.escape profileRoot}/$build_name |