Merge pull request #530 from crytic/dependabot/github_actions/dev/actions/deploy-pages-4

Bump actions/deploy-pages from 3 to 4

Author: 0xalpharush

.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