Closed abidingabi closed 8 months ago
Tectonic ends up building much quicker than the previous approach, which was often a bottleneck for CI to pass and therefore merges.
Tectonic ends up building much quicker than the previous approach, which was often a bottleneck for CI to pass and therefore merges.