Merge branch 'master' of...

Merge branch 'master' of into timmermanns
1 job for timmermanns in 10 seconds (queued for 3 seconds)
Status Name Job ID Coverage
failed build #122112


Name Stage Failure
build Test There is an unknown failure, please try again
HEAD is now at 66df594 Add .gitlab-ci.yml
a1974b2..1cc5893 timmermanns -> origin/timmermanns
Checking out 1cc5893e as timmermanns...
Skipping Git submodules setup
$ mvn -B clean install --settings settings.xml
[ERROR] Error executing Maven.
[ERROR] The specified user settings file does not exist: /builds/monticore/EmbeddedMontiArc/generators/EMADL2CPP/settings.xml
ERROR: Job failed: exit code 1