Skip to content

Gitlab CI

Manuel Prinz requested to merge gitlab-ci into master

This fixes an issue in the CI and activates dependency scanning so we have an eye on potential security issues.

Merge request reports