Skip to content

TASK: Rename ci documentation jobs

Daniel Siepmannrequested to merge
feature/rename-ci-jobs into develop
  • To have them much shorter, enabling full title to show up in gitlab ui.

Merge request reports