From c9f407161ca1180dd60f3a657f552bdc39cda37b Mon Sep 17 00:00:00 2001 From: Arun Date: Fri, 18 Oct 2024 16:21:29 +0530 Subject: [PATCH] fix(devbox): add job record property --- agent/devbox.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/agent/devbox.py b/agent/devbox.py index 7aa92680..469dc5a7 100644 --- a/agent/devbox.py +++ b/agent/devbox.py @@ -19,6 +19,10 @@ def __init__(self, devbox_name: str, server: Server, websockify_port: int): self.job = None self.step = None + @property + def job_record(self): + return self.server.job_record + @property def step_record(self): return self.server.step_record