Skip to content

More CI changes

Florian Müllner requested to merge fmuellner/gnome-shell-extensions:more-ci-changes into master

Cherry-picked from mutter/gnome-shell.

Merge request reports