areusch commented on PR #12644: URL: https://github.com/apache/tvm/pull/12644#issuecomment-1235599906
ah i see--sorry i was a bit misleading in my earlier comment @alter-xp. it is indeed possible to do it all at once, but if there's significant debugging on the non-Jenkinsfile part, then it makes your debug iteration time quite long and impractical. I'm good with either approach here. you could also just remove the commented code to reduce interim confusion (or add a TODO comment) and then follow-on with another PR. -- 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: commits-unsubscr...@tvm.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org