GitHub actions and CI jobs are disabled in executorch repo since last week, and as a result PRs are not being merged.