Currently TVM CI does not block merging code on Github if CI fails in building TVM on Windows or MacOS. Due to this issue we had an incident where we merged a PR without noticing failure on Windows.
I’m proposing to change TVM CI to block merging by default if Windows/MacOS fails similar to the rest of the builds on various architecture.
I would like to capture the community thoughts on this and have a discussion here.
Thanks!