Merge pull request #30 from KeYProject/dependabot/github_actions/acti…

…ons/configure-pages-5 Bump actions/configure-pages from 4 to 5
KeYProject · Apr 5, 2024 · 2499152 · 2499152
2 parents 475a752 + 74e1aa3
commit 2499152
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/mkdocs.yml b/.github/workflows/mkdocs.yml
@@ -38,7 +38,7 @@ jobs:
         uses: actions/checkout@v4
       - name: Setup Pages
         id: pages
-        uses: actions/configure-pages@v4
+        uses: actions/configure-pages@v5
       - run: mkdocs build -c -d public
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3