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 6df8d11f80987cb3b952531f08b43f38bddc2689..50f8e6a230b5104870da0f098f31c4dbd2d086d3 100644 (file)
--- 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"