Changing build to -j4 from -j to lessen load on build server #569
Too many parallel threads seem to cause our build server to run out of memory or fail in some other way when lots of builds are requested.
As far as I can tell, not much of a performance reduction. Let's see how it affects overall CI stability.
The build time of this PR seems to be in the same order as the other so LGTM.
No due date set.
No dependencies set.
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?