The source project of this merge request has been removed.
Improve Continuous Integration
Pipeline now fails also in case of failing tests. New CI option MergeRequest for Dart.sh wrapper which creates a special CDash label. Use new CI option when GitLab CI runs for a merge request.