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

…ns/deploy-pages-4 Bump actions/deploy-pages from 3 to 4
goblint · Dec 20, 2023 · b17ebd8 · b17ebd8
2 parents 90d7bf9 + 502923b
commit b17ebd8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -68,4 +68,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v3
+        uses: actions/deploy-pages@v4