Skip to content
GitLab
Explore
Sign in
Register
schleuder
schleuder
Merge requests
!148
CI: Some more improvements
Code
Review changes
Check out branch
Download
Patches
Plain diff
georg
requested to merge
ci-further-improvements
into
master
Jan 30, 2018
Overview
4
Commits
3
Pipelines
6
Changes
1
Expand
Some more CI related improvements, please have a look into the individual commit messages.
Edited
Jan 31, 2018
by
georg
Merge request reports