docs: deploy nix build

Signed-off-by: Paul Meyer <[email protected]>

.github/workflows/docs_publish.yml

@@ -16,21 +16,17 @@ jobs:
     runs-on: ubuntu-22.04
     steps:
       - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
-      - uses: actions/setup-node@60edb5dd545a775178f52524783378180af0d1f8 # v4.0.2
+      - uses: ./.github/actions/setup_nix
         with:
-          node-version: 18
-          cache: npm
-          cache-dependency-path: ./docs
-      - name: Install dependencies
-        working-directory: ./docs
-        run: yarn install --frozen-lockfile
+          githubToken: ${{ secrets.GITHUB_TOKEN }}
+          cachixToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
       - name: Build website
-        working-directory: ./docs
-        run: yarn build
+        run: |
+          nix build .#contrast-docs
       - name: Deploy to GitHub Pages
         uses: peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847 # v3.9.3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./docs/build # Build output to publish to the `gh-pages` branch
+          publish_dir: ./result
           user_name: edgelessci
           user_email: [email protected]