Merge pull request #530 from crytic/dependabot/github_actions/dev/act…

…ions/deploy-pages-4 Bump actions/deploy-pages from 3 to 4
crytic · Dec 29, 2023 · 2eba092 · 2eba092
2 parents 0aa2114 + 86eaf7d
commit 2eba092
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -43,4 +43,4 @@ jobs:
           path: './html/'
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v3
+        uses: actions/deploy-pages@v4