Revert "Don't deploy to GitHub pages"

Author: btat

.github/workflows/publish.yml

@@ -57,3 +57,6 @@ jobs:
           git add .
           git commit -m "$COMMIT_MESSAGE"
           git push --force origin gh-pages
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4