Fix to CI

Author: bwbush

.github/workflows/lean_action_ci.yml

@@ -1,19 +1,21 @@
 name: Lean Action CI
 
 on:
-  push:
   pull_request:
-  workflow_dispatch:
+    paths:
+      - "analysis/markov/**"
+  push:
+    branches:
+      - main
+    paths:
+      - "analysis/markov/**"
 
 jobs:
   build:
     runs-on: ubuntu-latest
 
     steps:
       - uses: actions/checkout@v4
-        with:
-          lake-package-directory: analsys/markov
-
       - uses: leanprover/lean-action@v1
         with:
           lake-package-directory: analsys/markov