JDevlieghere wrote: Yeah given GreenDragon has been red for 20h, I'd like to get this merged sooner rather than later. @DavidSpickett what's the benefit of waiting for the arm bots to come back up? https://github.com/llvm/llvm-project/pull/81703