comaniac commented on issue #8673: URL: https://github.com/apache/tvm/issues/8673#issuecomment-894413232
Thanks for bringing this up! I was thinking about this issue while ago but didn't take actions... Another though is moving the docs building process from Jenkins to Github actions. In this case, we don't even need to use the CI resources when only changing docs. -- 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]
