Only ignore on "pull_request" not on "push"

ShaharNaveh · ShaharNaveh · commit ffd9d7ef6140 · 2021-05-12T15:51:04.000+03:00
diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml
@@ -6,8 +6,6 @@ on:
       - "doc/**"
   push:
     branches: [master]
-    paths-ignore:
-      - "doc/**"
 
 jobs:
   pre-commit:
diff --git a/.github/workflows/python-dev.yml b/.github/workflows/python-dev.yml
@@ -4,8 +4,6 @@ on:
   push:
     branches:
       - master
-    paths-ignore:
-      - "doc/**"
   pull_request:
     branches:
       - master
