Skip to content

TASK: Rename ci documentation jobs

Daniel Siepmann requested 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