From 81452703347d0ad4a1eb1e27d64b2a112606cba7 Mon Sep 17 00:00:00 2001 From: Stefan Hansson Date: Tue, 10 Feb 2026 10:14:57 +0100 Subject: [PATCH] CI: build docs on changes to build-docs.sh script Otherwise we may end up with errors that aren't noticed until something else triggers this. Signed-off-by: Stefan Hansson Part-of: --- .gitlab-ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a404d50ce..da6c40fc7 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -211,6 +211,7 @@ build-docs: rules: - if: $CI_PIPELINE_SOURCE == "merge_request_event" changes: + - .ci/build-docs.sh - deviceinfo_schema.toml - docs/**