rnk wrote: Keep in mind, github is having issues merging code right now: https://discourse.llvm.org/t/psa-project-wide-issue-with-merging-pull-requests-in-the-github-ui/91974 Support ticket was filed in the last 48hrs, no update yet. https://github.com/llvm/llvm-project/pull/227130