Merge pull request #52 from KeYProject/dependabot/github_actions/actions/deploy-pages-5

Bump actions/deploy-pages from 4 to 5

Author: wadoon

.github/workflows/mkdocs.yml

@@ -55,4 +55,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v4
+        uses: actions/deploy-pages@v5