The "Building and Testing" instructions immediately thereafter are a better representation of what we do in CI and in our own dev workflow.