Enrico Bothmann authored Mar 19, 2019 and Johannes Krause committed Mar 26, 2019

This gives better code coverage in test builds. This is now possible
because the timeout for the project CI has been increased.

We also reduced the number of parallel builds to 4, since we got
"virtual memory exhausted" messages in our CI builds.