From dfb4a3bd02b3a7498fc53b9ec13d1a88459ef119 Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Mon, 28 Mar 2022 11:37:34 +0200 Subject: [PATCH] Run docs update workflow for pull requests too Also run it only if any documentation-related files were modified. --- .github/workflows/docs_update.yml | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/.github/workflows/docs_update.yml b/.github/workflows/docs_update.yml index d1b54b77bb..cb93db4173 100644 --- a/.github/workflows/docs_update.yml +++ b/.github/workflows/docs_update.yml @@ -4,6 +4,17 @@ on: push: branches: - master + paths: + - '.github/workflows/docs_update.yml' + - 'docs/**' + - 'interface/**' + pull_request: + branches: + - master + paths: + - '.github/workflows/docs_update.yml' + - 'docs/**' + - 'interface/**' workflow_dispatch: