Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Merge requests
!309
ci: Update to F40
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
fmuellner/gnome-shell-extensions:ci-stuff
into
main
Mar 03, 2024
Overview
0
Commits
2
Pipelines
3
Changes
1
Expand
Drop the custom image, and switch to gnome-shell's F40-based image for all jobs.
Merge request reports