Merge pull request #54 from KeYProject/dependabot/github_actions/actions/upload-pages-artifact-5

Bump actions/upload-pages-artifact from 4 to 5

Author: wadoon

.github/workflows/mkdocs.yml

@@ -41,7 +41,7 @@ jobs:
         uses: actions/configure-pages@v6
       - run: mkdocs build -c -d public
       - name: Upload artifact
-        uses: actions/upload-pages-artifact@v4
+        uses: actions/upload-pages-artifact@v5
         with:
           path: ./public