From 52df7d86511dcc29d5e07a123ec4727b76931ae4 Mon Sep 17 00:00:00 2001
From: Paul Meyer <49727155+katexochen@users.noreply.github.com>
Date: Wed, 13 Mar 2024 12:54:31 +0100
Subject: [PATCH] docs: deploy nix build

Signed-off-by: Paul Meyer <49727155+katexochen@users.noreply.github.com>
---
 .github/workflows/docs_publish.yml | 16 ++++++----------
 1 file changed, 6 insertions(+), 10 deletions(-)

diff --git a/.github/workflows/docs_publish.yml b/.github/workflows/docs_publish.yml
index 7d3d89a3e8..9e43b2a841 100644
--- a/.github/workflows/docs_publish.yml
+++ b/.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: edgelessci@users.noreply.github.com