diff options
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 89a213ad22..7e7aa2316a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -76,6 +76,9 @@ jobs: env: DISTRO=Fedora31 CI_BUILD_TYPE=asan - os: linux if: type = cron + env: DISTRO=Fedora31-exactness CI_BUILD_TYPE=exactness + - os: linux + if: type = cron env: CI_BUILD_TYPE=codecov - os: linux if: type = cron @@ -114,6 +117,7 @@ script: - .ci/ci-make-install.sh "$CI_BUILD_TYPE" - .ci/ci-make-benchmark.sh "$CI_BUILD_TYPE" - .ci/ci-make-check.sh "$CI_BUILD_TYPE" + - .ci/ci-exactness.sh "$CI_BUILD_TYPE" - .ci/ci-make-distcheck.sh "$CI_BUILD_TYPE" - .ci/ci-build-test.sh "$CI_BUILD_TYPE" |