Skip to content

WIP: add gitlab ci

ToDo

  • move the whole build tool setup to an own docker image
Edited by Thomas Müller

Merge request reports