Merge pull request #62 from ionide/dependabot/github_actions/actions/deploy-pages-4

Bump actions/deploy-pages from 3 to 4

Author: nojaf

.github/workflows/ci.yml

@@ -61,4 +61,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v3
+        uses: actions/deploy-pages@v4