Switch to GitHub Pages for deployment

Author: sampsyo

.github/workflows/build.yaml

@@ -20,33 +20,15 @@ jobs:
   deploy:
     needs: build
     runs-on: ubuntu-latest
-    if: ${{github.event_name=='push' && github.ref=='refs/heads/main' && github.repository_owner == 'cucapra'}}
+    permissions:
+      pages: write
+      id-token: write
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
     steps:
-      - name: Tailscale
-        uses: tailscale/github-action@v2
+      - name: GitHub Pages deploy
+        id: deployment
+        uses: actions/deploy-pages@v4
         with:
-          oauth-client-id: ${{ secrets.TS_OAUTH_CLIENT_ID }}
-          oauth-secret: ${{ secrets.TS_OAUTH_SECRET }}
-          tags: tag:ci
-      - name: Download artifact
-        uses: actions/download-artifact@v4
-        with:
-          name: site
-          path: site
-      - run: ls -R
-      - name: rsync
-        env:
-          DEPLOY_HOST: courses.cit.cornell.edu
-          DEPLOY_USER: als485
-          DEPLOY_KEY: ${{ secrets.DEPLOY_KEY }}
-          DEPLOY_KNOWN_HOSTS: ${{ secrets.DEPLOY_KNOWN_HOSTS }}
-          DEPLOY_SRC: ./site/
-          DEPLOY_DEST: coursewww/capra.cs.cornell.edu/htdocs/rvref
-        run: |
-          echo "$DEPLOY_KEY" > pk
-          echo "$DEPLOY_KNOWN_HOSTS" > kh
-          chmod 600 pk
-          rsync --compress --recursive --checksum --itemize-changes --delete \
-            --perms --chmod=Du=rwx,Dgo=rx,Fu=rw,Fog=r \
-            -e "ssh -i pk -o 'UserKnownHostsFile kh'" \
-            $DEPLOY_SRC $DEPLOY_USER@$DEPLOY_HOST:$DEPLOY_DEST
+          artifact_name: site