Currently CI is broken in `main` and hence for all PRs. @GigaHierz Any chance you'd have time to look at this?