On Tue, 26 Apr 2022, Andrew Cooper wrote: > > Can my (personal) GitLab be added as a Developer to the Xen Project > > group? I think this is the intended way for people to run the CI > > pipelines on their own branches. > > It is. Username?
David, let us know if you have any issues with gitlab. Once added, you should be able to trigger gitlab-ci runs, which include 3 ARM runtime tests dom0 and dom0less. You should be able to see the failures with your original patch and the failure being fixed with Julien's patch.