diff options
author | Jack Lloyd <[email protected]> | 2018-12-23 17:47:22 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2018-12-23 17:47:22 -0500 |
commit | b914ec97ebe4dd207ab15cbc6f65256c3b147b08 (patch) | |
tree | 26a0c079d34c0cb91767df8bbb4733f16cb09975 /src/scripts/ci | |
parent | 29e2272886f15320a84b1cccc55847daf1b371d7 (diff) |
Move coverage before fuzzers in Travis build
Coverage is the slowest build, moving it up puts it into the initial
tranche of builds so it finishes before the end of the build.
Diffstat (limited to 'src/scripts/ci')
-rw-r--r-- | src/scripts/ci/travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci/travis.yml b/src/scripts/ci/travis.yml index 7f2be2f95..83e642748 100644 --- a/src/scripts/ci/travis.yml +++ b/src/scripts/ci/travis.yml @@ -17,8 +17,8 @@ env: matrix: - BUILD_MODE="shared" - - BUILD_MODE="fuzzers" - BUILD_MODE="coverage" + - BUILD_MODE="fuzzers" - BUILD_MODE="valgrind" - BUILD_MODE="cross-i386" - BUILD_MODE="cross-ppc32" |