masahi commented on PR #11036: URL: https://github.com/apache/tvm/pull/11036#issuecomment-1101910215
Changing the docker script won't immediately change CI environments. We need to go through proper steps to update CI. Please send the docker script change in a separate 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