diff options
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 81738501dd..7259a884e7 100644 --- a/.travis.yml +++ b/.travis.yml @@ -71,7 +71,7 @@ jobs: env: DISTRO=Debian96 - os: linux if: type = cron - env: DISTRO=Fedora32 CI_BUILD_TYPE=coverity + env: DISTRO=Fedora31 CI_BUILD_TYPE=coverity - os: linux if: type = cron env: DISTRO=Fedora32 CI_BUILD_TYPE=asan |