Skip to content

replace jenkins with gitlab

Harald Sitter requested to merge work/jenkinsbad into master

the former is no more, CI is now on gitlab

BUG: 458728

Merge request reports