Merge pull request #49 from KeYProject/dependabot/github_actions/actions/setup-python-6

Bump actions/setup-python from 5 to 6

Author: wadoon

.github/workflows/mkdocs.yml

@@ -31,7 +31,7 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v5
-      - uses: actions/setup-python@v5
+      - uses: actions/setup-python@v6
         with:
           python-version: 3.x
       - name: Prepare system