joker-eph wrote: > I pushed this with git-llvm-push Ohhhh that explain: the pre-merge didn't run, I was confused. Now it makes sense :) > after running check-mlir Since you fixed a "Wundef" warning, I guess your build tree had assertions disabled :) https://github.com/llvm/llvm-project/pull/192698