areusch commented on issue #9610: URL: https://github.com/apache/tvm/issues/9610#issuecomment-984830027
investigating and i see two things: 1. the workspace is wiped out on that node 2. it seems like we are now creating workspaces per-PR, e.g the paths are like `/home/octo.aws.c4/workspace/tvm_PR-9631`, vs before they were just `/home/octo.aws.c4/workspace/exec_0`. so now i'm wondering if we are in fact reusing build dirs anymore. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
