Skip to content
GitLab
Explore
Sign in
SDK
Releaseme
Merge requests
!20
replace jenkins with gitlab
Code
Review changes
Check out branch
Download
Patches
Plain diff
Harald Sitter
requested to merge
work/jenkinsbad
into
master
Sep 05, 2022
Overview
0
Commits
1
Pipelines
1
Changes
7
Expand
the former is no more, CI is now on gitlab
BUG: 458728
Merge request reports