leandron opened a new issue #9591: URL: https://github.com/apache/tvm/issues/9591
CI is crashing with `No such property: docker_type for class: groovy.lang.Binding` message, due to #9556. The potential fix is #9588. There is a process issue here, because we can't _just merge_ the fix, as it is never going to pass CI, given it is a fix for CI. We need some help from @tqchen @jroesch @areusch to see how to proceed in this situation, and the implications of just manually `git push` into `main`. Can you please help? cc @manupa-arm @Mousius @grant-arm -- 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]
