[pre-commit.ci] pre-commit autoupdate

updates:
- [github.com/DavidAnson/markdownlint-cli2: v0.17.1 → v0.17.2](DavidAnson/markdownlint-cli2@v0.17.1...v0.17.2)

Author: pre-commit-ci[bot]

.pre-commit-config.yaml

@@ -34,7 +34,7 @@ repos:
       - id: stylua
         exclude: lua/lean/tui.lua
   - repo: https://github.com/DavidAnson/markdownlint-cli2
-    rev: v0.17.1
+    rev: v0.17.2
     hooks:
       - id: markdownlint-cli2
   - repo: https://github.com/woodruffw/zizmor