Add github actions for deploying the website

Author: Technius

.github/workflows/publish.yml

@@ -0,0 +1,41 @@
+name: Publish
+on:
+  push:
+    branches: [source]
+  workflow_dispatch:
+
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+# Allow only one concurrent deployment, skipping runs queued between the run
+# in-progress and latest queued. However, do NOT cancel in-progress runs as we
+# want to allow these production deployments to complete.
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
+
+jobs:
+  publish:
+    name: Publish website
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+      - name: Install dependencies
+        run: |
+          python -m venv ./.venv
+          source ./.venv/bin/activate
+          pip install -U pip poetry
+          poetry install
+          poetry lock --check
+      - name: Build
+        run: |
+          ./.venv/bin/mkdocs build
+      - uses: actions/upload-pages-artifact@v3
+        with:
+          path: "site"
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4

mkdocs.yml

@@ -1,5 +1,6 @@
 site_name: Bryan Tan's Website
-remote_branch: site
+remote_branch: source
+site_url: https://technius.net
 nav:
   - Home: index.md
   - Research: research.md