add task_runs (#1752)

This commit is contained in:
Shuchang Zheng
2025-02-09 20:30:19 +08:00
committed by GitHub
parent 28da4e0c37
commit 8eb1efb762
8 changed files with 158 additions and 0 deletions

View File

@@ -43,6 +43,7 @@ PERSISTENT_BROWSER_SESSION_ID = "pbs"
STEP_PREFIX = "stp"
TASK_GENERATION_PREFIX = "tg"
TASK_PREFIX = "tsk"
TASK_RUN_PREFIX = "tr"
TOTP_CODE_PREFIX = "totp"
USER_PREFIX = "u"
WORKFLOW_PARAMETER_PREFIX = "wp"
@@ -167,6 +168,11 @@ def generate_persistent_browser_session_id() -> str:
return f"{PERSISTENT_BROWSER_SESSION_ID}_{int_id}"
def generate_task_run_id() -> str:
int_id = generate_id()
return f"{TASK_RUN_PREFIX}_{int_id}"
def generate_id() -> int:
"""
generate a 64-bit int ID