diff options
author | lassulus <lassulus@lassul.us> | 2017-07-31 12:25:53 +0200 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2017-07-31 12:25:53 +0200 |
commit | af1073f52ac5346ab102ea493b4941c2e895a647 (patch) | |
tree | e719ad564f4c54cd725f0c817d3d97097d098e6d | |
parent | 9b347a0ff5fc1c5aba55cb4c3af181982f86b1e2 (diff) |
krebs ci: raise timeout to 90001
-rw-r--r-- | krebs/3modules/ci.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/krebs/3modules/ci.nix b/krebs/3modules/ci.nix index f64c28d25..71e7d4aeb 100644 --- a/krebs/3modules/ci.nix +++ b/krebs/3modules/ci.nix @@ -124,7 +124,8 @@ in "--force-populate", "--target=$LOGNAME@${config.krebs.build.host.name}$HOME/{}".format(user), ]) - ] + ], + timeout=90001 ) ${let |