Commit 449c4296a11a8b3d3882d4a4d6705281f5ff52e5

Khaled Hosny 2021-12-12T07:50:06

[ci] Try harder to fix this randomly failing job The default --num-processes is the number of CPUs multiplied by 5, which seems to give this VM a hard-time. Even the number of CPUs is too much, so lets use half of that (I’m adding one just in case the division gives zero).