Engineering Making GitHub CI workflow 3x fasterUsing deferred compliance in GitHub’s CI process to improve developer productivity. October 29, 2020