tqchen edited a comment on pull request #6216: URL: https://github.com/apache/incubator-tvm/pull/6216#issuecomment-669506088
The main question though is whether finish will actually kill the running job -- thus achieving the functionality of timeout, or if the stablity comes from the fact that we did are not disabling the timeout. That would boils down to the semantics of the finish itself, and would be great to confirm ---------------------------------------------------------------- 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. For queries about this service, please contact Infrastructure at: us...@infra.apache.org