Fixed typo

Author: bwbush

.github/workflows/lean_action_ci.yml

@@ -18,4 +18,4 @@ jobs:
       - uses: actions/checkout@v4
       - uses: leanprover/lean-action@v1
         with:
-          lake-package-directory: analsys/markov
+          lake-package-directory: analysis/markov