Skip to content

Add Gitlab CI

Alexander Lohnau requested to merge work/alex/gitlab_ci into master

Because the grub tools to not seem to be in the docker image, we have to specify them manually.

Merge request reports