Skip to content

Master

Manuel Guth requested to merge (removed):master into master

Created pipeline, had to adapt setup.sh for it

Merge request reports