"launcher/build.rs" did not exist on "b6ee0ec7b06b11ad35fe2f2d99318ddc47f95558"
-
André Susano Pinto authored
A default of 1 all the times is bad for TPU users which end up not using the device effectively. A larger default all the times is bad for GPU users. So compromise and make this dependent on the devices available. PiperOrigin-RevId: 312230371
866176ea
