ci: Update Coverity image to Fedora 34 and latest Coverity Scan tool

Signed-off-by: Philip Withnall <pwithnall@endlessos.org>
This commit is contained in:
Philip Withnall 2022-03-18 10:29:28 +00:00
parent a4810e652d
commit a9b68f1f9b
2 changed files with 2 additions and 3 deletions

View File

@ -11,7 +11,7 @@ cache:
variables:
FEDORA_IMAGE: "registry.gitlab.gnome.org/gnome/glib/fedora:v13"
COVERITY_IMAGE: "registry.gitlab.gnome.org/gnome/glib/coverity:v2"
COVERITY_IMAGE: "registry.gitlab.gnome.org/gnome/glib/coverity:v3"
DEBIAN_IMAGE: "registry.gitlab.gnome.org/gnome/glib/debian-stable:v9"
ANDROID_IMAGE: "registry.gitlab.gnome.org/gnome/glib/android-ndk:v5"
MINGW_IMAGE: "registry.gitlab.gnome.org/gnome/glib/mingw:v4"
@ -525,7 +525,6 @@ coverity:
--libdir=lib
-Dsystemtap=true
-Ddtrace=true
-Dfam=true
-Dinstalled_tests=true
_coverity_build
- $HOME/cov-analysis-linux64-*/bin/cov-build --dir cov-int ninja -C _coverity_build

View File

@ -1,4 +1,4 @@
FROM registry.gitlab.gnome.org/gnome/glib/fedora:v12
FROM registry.gitlab.gnome.org/gnome/glib/fedora:v13
ARG COVERITY_SCAN_PROJECT_NAME
ARG COVERITY_SCAN_TOKEN