Skip to content
GitLab
Explore
Sign in
GNOME
gtk
Merge requests
!1412
Update CI jobs
Code
Review changes
Check out branch
Download
Patches
Plain diff
Emmanuele Bassi
requested to merge
ci-jobs
into
master
Feb 11, 2020
Overview
0
Commits
19
Pipelines
7
Changes
17
Expand
Various changes to the CI pipeline:
refactor the CI pipeline
add a
buildtype=release
job
add a coding style check phase
coalesce the static/shared build jobs into one
Merge request reports