Build server in CI with optimizations, even in pull requests (#3240)

This commit is contained in:
Alexis King 2019-10-30 11:07:57 -05:00 committed by GitHub
parent 2ee7f7d76e
commit d6a649095c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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