From 4562fc9f1fd6b9a2e7537fcee87937168373ad12 Mon Sep 17 00:00:00 2001 From: Roman Bredehoft Date: Thu, 21 Sep 2023 16:54:52 +0200 Subject: [PATCH] chore: run make docs in ci when changing use case examples --- .github/workflows/continuous-integration.yaml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/continuous-integration.yaml b/.github/workflows/continuous-integration.yaml index 0c0bd182b..5c447e281 100644 --- a/.github/workflows/continuous-integration.yaml +++ b/.github/workflows/continuous-integration.yaml @@ -494,6 +494,8 @@ jobs: - tests/seeding/test_seeding.py docs: - docs/** + use_cases: + - use_case_examples/** codeblocks: - '**.md' - '!.*/**' @@ -543,6 +545,7 @@ jobs: ( steps.changed-files-in-pr.outcome == 'skipped' || steps.changed-files-in-pr.outputs.docs_any_changed == 'true' + || steps.changed-files-in-pr.outputs.use_cases_any_changed == 'true' || steps.changed-files-in-pr.outputs.src_any_changed == 'true' || steps.changed-files-in-pr.outputs.makefile_any_changed == 'true' )