summaryrefslogtreecommitdiffhomepage
path: root/tools/nogo/check
diff options
context:
space:
mode:
authorAdin Scannell <ascannell@google.com>2020-07-30 09:49:19 -0700
committergVisor bot <gvisor-bot@google.com>2020-07-30 09:51:07 -0700
commit0d7c87ad014aa8eb931a5dcb970d736ce00d4b32 (patch)
treeba481a812c5fbf918aecd19a93fdd91ed92a3c79 /tools/nogo/check
parent84496b3a619def2db0e25ab41f029823621bc713 (diff)
Double the number of jobs used by RBE.
PiperOrigin-RevId: 324022546
Diffstat (limited to 'tools/nogo/check')
0 files changed, 0 insertions, 0 deletions