From e4054d4cd42de44d41f6d968c7e77aa99316463b Mon Sep 17 00:00:00 2001 From: Peter Krempa Date: Tue, 15 Jun 2021 17:27:18 +0200 Subject: [PATCH] gitlab-ci: Don't build docs in 'sanitizer' jobs Docs are not sanitized, thus there's no point in building them. Signed-off-by: Peter Krempa Reviewed-by: Tim Wiederhake --- .gitlab-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b5930a0a46..3fa616261e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -86,7 +86,7 @@ stages: before_script: - *script_variables script: - - meson build --werror -Db_lundef=false -Db_sanitize="$SANITIZER" + - meson build --werror -Ddocs=disabled -Db_lundef=false -Db_sanitize="$SANITIZER" - ninja -C build; - ninja -C build test;