ci: copy the rest of the example config

.github/workflows/nix.yml

@@ -1,7 +1,22 @@
 name: "Build with Nix"
 on:
-    pull_request:
     push:
+
+    # Allows you to run this workflow manually from the Actions tab
+    workflow_dispatch:
+
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+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:
     buildWithNix:
         runs-on: ubuntu-latest
@@ -17,7 +32,12 @@ jobs:
                   fail-mode: true
             - run: nix flake check
             - run: nix build .
+            - name: Setup Pages
+              uses: actions/configure-pages@v5
             - name: Upload GitHub Pages artifact
               uses: actions/[email protected]
               with:
                   path: "result/"
+            - name: Deploy to GitHub Pages
+              id: deployment
+              uses: actions/deploy-pages@v4