Update GitLab CI file, more manual build options

Related ticket #371 (closed)

Merge request reports

Loading