Skip to content
GitLab
Explore
Sign in
GNOME
libmanette
Merge requests
!30
ci: Remove deprecated jobs
Code
Review changes
Check out branch
Download
Patches
Plain diff
Adrien Plazas
requested to merge
ci
into
master
Sep 12, 2020
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
The functionality of these jobs exists in the normal build job now and they are no longer needed.
Merge request reports