Merge branch 'master' into dependabot/github_actions/actions/upload-pages-artifact-3

Author: yuval9313

.github/workflows/publish-docs.yml

@@ -47,4 +47,4 @@ jobs:
           path: './site'
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v3
+        uses: actions/deploy-pages@v4