From 1374448addbef52860a29101087dcb9485887886 Mon Sep 17 00:00:00 2001
From: Evgeny Vereshchagin <evvers@ya.ru>
Date: Sun, 12 Jul 2020 22:00:16 +0000
Subject: [PATCH] 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.
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 6df8d11f80..50f8e6a230 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"