Minor modifications for GitLab-CI

Merge request reports

Loading