> So strange, log shows conflict as below: > 
I think this has to do with the fact that CI will try to merge your current patch with "top of the repository", and as the top of the repository is now fixed to `0.13.dev0`, it diverges from what you propose here. So I don't think that there is anything wrong with your patch, we probably just need to fix CI somewhere. @driazati can you help? -- Reply to this email directly or view it on GitHub: https://github.com/apache/tvm/pull/14712#issuecomment-1520323215 You are receiving this because you are subscribed to this thread. Message ID: <apache/tvm/pull/14712/c1520323...@github.com>
