hvdijk wrote: It doesn't seem possible for the CI failure to be related to my PR, but I'm having trouble finding the same failure in other PRs, so I'm trying to figure out what's going on before merging. https://github.com/llvm/llvm-project/pull/197471