diff options
Diffstat (limited to 'test/utils/remote_execution/test_runner.py')
| -rwxr-xr-x | test/utils/remote_execution/test_runner.py | 25 |
1 files changed, 15 insertions, 10 deletions
diff --git a/test/utils/remote_execution/test_runner.py b/test/utils/remote_execution/test_runner.py index 5295efa3..948b626e 100755 --- a/test/utils/remote_execution/test_runner.py +++ b/test/utils/remote_execution/test_runner.py @@ -18,14 +18,14 @@ import os import subprocess import time -time_start = time.time() -time_stop = 0 -result = "UNKNOWN" -stderr = "" -stdout = "" +time_start: float = time.time() +time_stop: float = 0 +result: str = "UNKNOWN" +stderr: str = "" +stdout: str = "" -def dump_results(): +def dump_results() -> None: with open("result", "w") as f: f.write("%s\n" % (result, )) with open("time-start", "w") as f: @@ -57,10 +57,15 @@ if os.path.exists(REMOTE_INFO): os.remove(REMOTE_INFO) remote_cmd = [ - "./bin/just", "execute", - "--info-file", REMOTE_INFO, - "--local-build-root", REMOTE_LBR, - "--log-limit", "6", "--plain-log", + "./bin/just", + "execute", + "--info-file", + REMOTE_INFO, + "--local-build-root", + REMOTE_LBR, + "--log-limit", + "6", + "--plain-log", ] with open("compatible-remote.json") as f: |