diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 5636687..11f6de1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,7 +2,17 @@ name: CI
 
 on:
   push: { branches: [main] }
-  pull_request: { branches: [main] }
+  pull_request:
+    branches: [main]
+    paths-ignore:
+      - '*.md'
+      - 'docs/**'
+      - LICENSE
+
+# A new push to the same pull request cancels the older run; runs on a branch always finish.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 
 jobs:
   test: