nico wrote: If all other bots are happy, then I'm doing something wrong probably. If you don't mind reverting, it'd be nice since then I can catch other, actual problems, with the bot, but it's not a requirement. https://github.com/llvm/llvm-project/pull/118192