From e37053e7b85c11d9f3183b76e05dcc5facf01383 Mon Sep 17 00:00:00 2001 From: Thomas Neidhart Date: Thu, 3 Aug 2023 10:38:40 +0200 Subject: [PATCH] Update workflow trigger. --- .github/workflows/build-page.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/build-page.yml b/.github/workflows/build-page.yml index 81d09db..9b2b7fa 100644 --- a/.github/workflows/build-page.yml +++ b/.github/workflows/build-page.yml @@ -8,6 +8,7 @@ on: paths: - 'otterdog/*.jsonnet' - 'otterdog/*.json' + - 'docs/*' concurrency: group: "pages"