# proposal: use bors to speed up builds

## Motivation

Currently, the default is doing a full build over all >110k configurations, for each PR change. That takes 2-3 hrs, which is bad for productivity(tm).

We need a solution that speeds up builds.
Getting more hardware is difficult, we'd need to get *128-256 fast cores* to just cut those times in half.

## Proposal

## definitions

`tPR` = time to get PR feedback
`tMERGE` = time to get to master after merge intent