From 34a46bd8f2e989f3a2debf96e341f7af68473fc9 Mon Sep 17 00:00:00 2001 From: Christian Boltz Date: Tue, 13 Jun 2023 20:35:07 +0200 Subject: [PATCH] Enable coverity scans for master ... so that each change in master gets scanned (until we reach the scan limit). This will give us more timely results than only scanning the coverity branch whenever someone manually updates it. --- .gitlab-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c8b5d7eaa..c9e1f6996 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -150,7 +150,7 @@ coverity: - .ubuntu-before_script only: refs: - - coverity + - master script: - apt-get install --no-install-recommends -y curl git texlive-latex-recommended - *install-c-build-deps