tree 9fd4a2da4aa2410101e0a10ab84207d552a32e6f
parent d356a5c4128ae76bde626d2dc3a3882ab3f1eeda
author Rico Wind <ricow@google.com> 1632981043 +0200
committer Rico Wind <ricow@google.com> 1632981089 +0000

Increase the worker count even more on the bots

Don't generally change the heuristics (to not trash peoples work machines)

Change-Id: I3ded45f8bc0aa595ddb08ff036484ae827c78bc5