[Kwpolska]

Yeah, businesses are often cheapskates, and a couple seconds’ worth of speedup aren’t worth any money, especially if you’re removing 10-20 seconds from a multi-hour build pipeline running on dedicated build boxes.