Add separate docs workflow (#1491)

2021-03-23 23:27:48 -06:00 · 2021-03-23 23:27:48 -06:00 · 6969ad199a
parent 75e122061e
commit 6969ad199a
2 changed files with 20 additions and 0 deletions
--- a/.github/workflows/pull-request-docs.yml
+++ b/.github/workflows/pull-request-docs.yml
@ -0,0 +1,16 @@
+name: Docs Pull Request
+
+on:
+  pull_request:
+    paths:
+    - 'docs/**'
+  push:
+    branches: [master]
+    paths:
+    - 'docs/**'
+
+jobs:
+  all_github_action_checks:
+    runs-on: ubuntu-latest
+    steps:
+      - run: echo "Done"
--- a/.github/workflows/pull-request.yml
+++ b/.github/workflows/pull-request.yml
@ -2,8 +2,12 @@ name: Pull Request

 on:
  pull_request:
+    paths-ignore:
+    - 'docs/**'
  push:
    branches: [master]
+    paths-ignore:
+    - 'docs/**'

 jobs:
  all_github_action_checks: