lfrenot wrote: > Side note: @lfrenot I suggest to directly request review from us instead of pinging, this ensures that stuff shows up in the correct places in GitHub 🙂 I would, but I do not have the perms to request reviews https://github.com/llvm/llvm-project/pull/115509