driazati commented on PR #10014: URL: https://github.com/apache/tvm/pull/10014#issuecomment-1130624686
Hey @A1245967 this PR's last CI run was a bit out of date so it broke things when it was merged with the `main` branch, so we had to revert it in c32224f314cf6128ddc2801a120232d9ffa80a54. If you open another PR with the same changes (which you can do with something like ```bash cd tvm git fetch origin main git reset --hard origin/main curl -L https://github.com/apache/tvm/pull/10014.diff | patch -p1 -N -d . # then git add, commit as usual ``` ) and fix the CI bug we can get it merged back in ASAP -- 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]
