Fix org repo deletion to run in runtime (#9319)

This commit is contained in:
Graham Neubig 2025-06-24 09:43:45 -04:00 committed by GitHub
parent 4c34a5f0f5
commit 8aeb4dd632
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -720,7 +720,8 @@ fi
)
# Clean up the org repo directory
shutil.rmtree(org_repo_dir)
action = CmdRunAction(f'rm -rf {org_repo_dir}')
self.run_action(action)
else:
self.log(
'info',