GitLab Pipeline

Petr Stefanrequested to merge
pipeline into master

Merge request reports