misc: update GitHub actions and some docs (#405)

Author: mkeithX

.github/workflows/build-and-deploy.yml

@@ -17,10 +17,10 @@ jobs:
   build:
     name: Build Website
     runs-on: ubuntu-latest
-
     permissions:
       contents: read
       deployments: write
+    timeout-minutes: 30
 
     steps:
       - name: Checkout
@@ -50,28 +50,28 @@ jobs:
         with:
           path: website/build
 
-  deploy:
-    if: github.event_name == 'push'
-    name: Deploy to GitHub Pages
-    concurrency: build-deploy-pages
-    runs-on: ubuntu-latest
-    needs: build
+  # deploy:
+  #   if: github.event_name == 'push'
+  #   name: Deploy to GitHub Pages
+  #   concurrency: build-deploy-pages
+  #   runs-on: ubuntu-latest
+  #   needs: build
 
-    permissions:
-      pages: write
-      id-token: write
+  #   permissions:
+  #     pages: write
+  #     id-token: write
 
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
+  #   environment:
+  #     name: github-pages
+  #     url: ${{ steps.deployment.outputs.page_url }}
 
-    steps:
-      - name: Download Build Artifact
-        uses: actions/[email protected]
+  #   steps:
+  #     - name: Download Build Artifact
+  #       uses: actions/[email protected]
 
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/[email protected]
+  #     - name: Deploy to GitHub Pages
+  #       id: deployment
+  #       uses: actions/[email protected]
 
 
   publish: