Skip to content

introduce gitlab ci build toolchain

julian.baeume requested to merge feature/gitlab_ci into develop

Once we switch the repo over to GitLab, we want to have a CI in place. Since we decided to move from jenkins to gitlab, this is a first approach to have all the known things (and even some extras) in place.

Before merging, make sure to check the following points:

  • build dist files of all projects
  • integrate unit tests for ui project
  • make sure to squash redundant commits

Merge request reports