From: Thorsten Leemhuis on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2275#note_1368...
Justin and Scott executed the ark_merge_request pipeline after the previous
and the latest push (thx for this!). And the builds in Fedora afaics also
succeed without showing problems.
I think this thus can be resolved, or am I missing something?