Run docs update workflow for pull requests too

Also run it only if any documentation-related files were modified.
2022-03-28 11:37:34 +02:00
parent f26d25fcb6
commit dfb4a3bd02
1 changed files with 11 additions and 0 deletions
--- 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: