Skip to content
GitLab
Explore
Sign in
GNOME
gjs
Merge requests
!177
The source project of this merge request has been removed.
Fail CI in case of new warnings
Ghost User
requested to merge
(removed):warning
into
master
Jul 01, 2018
Overview
1
Pipelines
0
Changes
2
Expand
!175 (closed)
Merge request reports