Merge pull request #51 from KeYProject/dependabot/github_actions/actions/configure-pages-6

Bump actions/configure-pages from 5 to 6

Author: wadoon

.github/workflows/mkdocs.yml

@@ -38,7 +38,7 @@ jobs:
         run: pip install --user -r requirements.txt
       - name: Setup Pages
         id: pages
-        uses: actions/configure-pages@v5
+        uses: actions/configure-pages@v6
       - run: mkdocs build -c -d public
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v4