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: