diff --git a/.github/workflows/lean_action_ci.yml b/.github/workflows/lean_action_ci.yml
index 8a878729d8..66d052123f 100644
--- a/.github/workflows/lean_action_ci.yml
+++ b/.github/workflows/lean_action_ci.yml
@@ -4,17 +4,21 @@ on:
   push:
     branches:
       - main
-    paths-ignore:
-      - 'python/**'
-      - '**/*.md'
-      - 'LICENSE'
+    paths:
+      - '**/*.lean'
+      - 'lakefile.toml'
+      - 'lean-toolchain'
+      - 'lake-manifest.json'
+      - '.github/workflows/lean_action_ci.yml'
   pull_request:
     branches:
       - main
-    paths-ignore:
-      - 'python/**'
-      - '**/*.md'
-      - 'LICENSE'
+    paths:
+      - '**/*.lean'
+      - 'lakefile.toml'
+      - 'lean-toolchain'
+      - 'lake-manifest.json'
+      - '.github/workflows/lean_action_ci.yml'
   workflow_dispatch:
 
 # Cancel superseded runs on the same branch / PR.