Merge pull request #1401 from goblint/dependabot/github_actions/actio…

…ns/configure-pages-5 Bump actions/configure-pages from 4 to 5
goblint · Apr 2, 2024 · 97ddfab · 97ddfab
2 parents 9b87fdf + 73440d3
commit 97ddfab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -41,7 +41,7 @@ jobs:
 
       - name: Setup Pages
         id: pages
-        uses: actions/configure-pages@v4
+        uses: actions/configure-pages@v5
 
       - name: Install dependencies
         run: opam install . --deps-only --locked --with-doc