From 3f57b7ee7688efd38b2ba3581495b2c250409020 Mon Sep 17 00:00:00 2001 From: Adeeb Shihadeh Date: Fri, 3 Jul 2020 20:34:31 -0700 Subject: [PATCH] increase jenkins timeout --- release/build_devel.sh | 3 ++- selfdrive/test/phone_ci.py | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/release/build_devel.sh b/release/build_devel.sh index 5194bef9a4..782ea0fae5 100755 --- a/release/build_devel.sh +++ b/release/build_devel.sh @@ -95,7 +95,8 @@ popd if [ ! -z "$CI_PUSH" ]; then echo "[-] Pushing to $CI_PUSH T=$SECONDS" - git push -f git@github.com:commaai/openpilot.git master-ci:$CI_PUSH + git remote set-url origin git@github.com:commaai/openpilot.git + git push -f origin master-ci:$CI_PUSH fi echo "[-] done pushing T=$SECONDS" diff --git a/selfdrive/test/phone_ci.py b/selfdrive/test/phone_ci.py index a5e2dc6463..7040e8cb53 100755 --- a/selfdrive/test/phone_ci.py +++ b/selfdrive/test/phone_ci.py @@ -69,7 +69,7 @@ def run_on_phone(test_cmd): conn.send("exit\n") dat = b"" - conn.settimeout(120) + conn.settimeout(150) while True: try: