refresh process replay schedule ref in reset.py (#6265)

This commit is contained in:
qazal 2024-08-24 21:12:51 +08:00 committed by GitHub
parent 7be5eede71
commit ae23540d6e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 1 deletions

View File

@ -1,5 +1,7 @@
#!/usr/bin/env python3 #!/usr/bin/env python3
from tinygrad.helpers import db_connection, VERSION, getenv from tinygrad.helpers import db_connection, VERSION, getenv, os
cur = db_connection() cur = db_connection()
cur.execute(f"drop table if exists process_replay_{getenv('GITHUB_RUN_ID', 'HEAD')}_{getenv('GITHUB_RUN_ATTEMPT')}_{VERSION}") cur.execute(f"drop table if exists process_replay_{getenv('GITHUB_RUN_ID', 'HEAD')}_{getenv('GITHUB_RUN_ATTEMPT')}_{VERSION}")
cur.execute(f"drop table if exists schedule_diff_{VERSION}") cur.execute(f"drop table if exists schedule_diff_{VERSION}")
if os.path.exists(fp:=__file__.replace("reset", "master_schedule")):
os.system(f"rm -rf {fp}")