Change GitHub Actions to ignore paths and branches related to documen…

…tation Push to `master` branch is ignored because it duplicates the action triggered by release tag, and push to `master` is only performed when there's a release.
ryukau · Dec 4, 2023 · 376a0e1 · 376a0e1
1 parent b37e4c7
commit 376a0e1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -3,6 +3,11 @@ on:
   push:
     branches:
       - '*'
+    branches-ignore:
+      - 'master'
+      - 'docs'
+    paths-ignore:
+      - 'docs/**'
     tags:
       - '*'