Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
!1597
ci: Fix typo
Code
Review changes
Check out branch
Download
Patches
Plain diff
Robert Mader
requested to merge
rmader/gnome-shell:ci-build-debugoptimized
into
master
Jan 26, 2021
Overview
3
Commits
1
Pipelines
6
Changes
1
Expand
This made us fall back to a normal debug build, not catching certain warnings.
Merge request reports