From: Evgeny Vereshchagin <evvers@ya.ru>
Date: Sun, 12 Jul 2020 22:00:16 +0000 (+0000)
Subject: coverity: switch back to Fedora 31
X-Git-Tag: v246-rc2~85^2~1
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1374448addbef52860a29101087dcb9485887886;p=thirdparty%2Fsystemd.git

coverity: switch back to Fedora 31

Apparently 6 days ago fedora:latest started to point to fedora:32,
which comes with gcc-10. Coverity doesn't support it yet.
---

diff --git a/.travis.yml b/.travis.yml
index 6df8d11f809..50f8e6a230b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -45,7 +45,7 @@ jobs:
     - stage: Coverity
       language: bash
       env:
-        - FEDORA_RELEASE="latest"
+        - FEDORA_RELEASE="31"
         - TOOL_BASE="/var/tmp/coverity-scan-analysis"
         - CONT_NAME="coverity-fedora-$FEDORA_RELEASE"
         - DOCKER_EXEC="docker exec -ti $CONT_NAME"