check every 50ms -> 250ms for restart
Lint & Format (JS/TS) / lint-format (pull_request) Successful in 11s
Python / lint-format (pull_request) Successful in 30s
Python / test (pull_request) Successful in 46s
Lint & Format (Rust) / lint-format (pull_request) Successful in 1m44s

This commit is contained in:
2026-05-24 18:03:32 +02:00
parent 78fcf33b3a
commit c30128cf95
+1 -1
View File
@@ -42,7 +42,7 @@ def restart(no_daemon: bool = False):
result = subprocess.run(args + ["kill"], capture_output=True)
if result.returncode == 255:
break
time.sleep(0.05)
time.sleep(0.25)
start_instance(no_daemon=no_daemon)