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

…ns/deploy-pages-3 Bump actions/deploy-pages from 2 to 3
goblint · Dec 5, 2023 · 8563daa · 8563daa
2 parents ee1e248 + ea28ee8
commit 8563daa
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@v2
+        uses: actions/deploy-pages@v3