diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
index b634e0ce9..fb871584b 100644
--- a/.github/workflows/pull_request.yml
+++ b/.github/workflows/pull_request.yml
@@ -3,6 +3,9 @@ name: Pull request
 on:
   pull_request:
     types: [opened, reopened, synchronize]
+    paths-ignore:
+      - '*.md'
+      - 'Proposals/**'
 
 jobs:
   tests: