timon-ul wrote: Uhm, I am a bit confused, the continuous integration bot reports a failure, but it does not seem related to my changes and also the Pull request still counts as merged and closed. Do I have to worry about this error? https://github.com/llvm/llvm-project/pull/147042