restore process replay runs by their id (#5453)

This commit is contained in:
qazal
2024-07-14 00:32:34 +08:00
committed by GitHub
parent b8c9298164
commit 23b907efbb
3 changed files with 3 additions and 3 deletions

View File

@@ -5,7 +5,7 @@ from tinygrad.codegen.kernel import Kernel
from tinygrad.helpers import Context, ContextVar, colored, db_connection, VERSION, getenv, tqdm
page_size = 100
table_name = f"process_replay_{getenv('GITHUB_SHA', 'HEAD')}_{VERSION}"
table_name = f"process_replay_{getenv('GITHUB_RUN_ID', 'HEAD')}_{VERSION}"
def process_replay(offset:int):
conn = db_connection()

View File

@@ -1,4 +1,4 @@
#!/usr/bin/env python3
from tinygrad.helpers import db_connection, VERSION, getenv
cur = db_connection()
cur.execute(f"drop table if exists process_replay_{getenv('GITHUB_SHA', 'HEAD')}_{VERSION}")
cur.execute(f"drop table if exists process_replay_{getenv('GITHUB_RUN_ID', 'HEAD')}_{VERSION}")