driazati opened a new pull request, #13475: URL: https://github.com/apache/tvm/pull/13475
This adds some CI load by running PRs that would merge-conflict with main but improves UX by making it so CI is deterministic based on git history rather than when the PR happened to be submitted. Fixes #12657 -- 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]
