Commit 42c9dc4d authored by Lukas Riedel's avatar Lukas Riedel

Merge branch 'test-new-multi-core-setup' into 'master'

Adapt CI pipeline to 7 multi core CPUs

See merge request !49
parents 2c3605ca 29d7565a