Commit 3ce011fb authored by Philipp Sommer's avatar Philipp Sommer

Revert "Remove gitlab-ci as pipelines are not configured in coastgit"

This reverts commit d607fa65.
parent d607fa65
Pipeline #16 passed with stage
in 1 minute and 29 seconds