Hi! On Fri, May 19, 2023 at 9:35 AM Paolo Bonzini <pbonz...@redhat.com> wrote: > You should be able to run pipelines almost as usual, just with > > git push -o ci.variable=RUNNER_TAG=k8s ... > > Camilla, please confirm that this is correct.
Looks good.
