Skip to content

ci: Small updates

Florian Müllner requested to merge fmuellner/gnome-shell:ci-update into main

See mutter!1935 (merged) and mutter!1936 (merged) for the original MRs.

Merge request reports