From a00e338891882532a201b34501d92994f932f3d1 Mon Sep 17 00:00:00 2001 From: Alexis King Date: Fri, 25 Oct 2019 13:15:03 -0500 Subject: [PATCH] Build server in CI with optimizations, even in pull requests --- .circleci/config.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index c682fe33e34dc..6ca2c4ec24a8a 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -174,8 +174,8 @@ jobs: echo "Branch starts with dev or release, or tagged commit starts with v. Optimized build" make ci-binary else - echo "Non-release branch, non-optimized build with coverage" - BUILD_FLAGS="--fast --coverage" make ci-binary + echo "Non-release branch, build with coverage" + BUILD_FLAGS="--coverage" make ci-binary fi - run: name: Build the docker image