From d9e4ae2f689f9c87d4e302ca13d8b665ccbe9167 Mon Sep 17 00:00:00 2001
From: zimbatm <zimbatm@zimbatm.com>
Date: Mon, 12 Oct 2026 20:36:06 +0000
Subject: [PATCH] ci: run the docs deploy on a live runner

The ubuntu-20.04 runner is gone, so the GitHub Pages deploy was
cancelled on every push. numtide.cachix.org is deprecated, so drop
the cachix step too.

Assisted-by: Claude Code (claude-opus-5)
Change-Id: I80ca3880ca462b87f7cb6a88d4338c381419a397
---
 .github/workflows/nix.yml | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
index 6ea65f5..d8ec700 100644
--- a/.github/workflows/nix.yml
+++ b/.github/workflows/nix.yml
@@ -9,17 +9,10 @@ on:
   workflow_dispatch:
 jobs:
   docs:
-    strategy:
-      matrix:
-        os: [ ubuntu-20.04 ]
-    runs-on: ${{ matrix.os }}
+    runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v6
       - uses: cachix/install-nix-action@v31
-      - uses: cachix/cachix-action@v16
-        with:
-          name: numtide
-          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
       - run: |
           nix-build -A docs
           cp -r "$(readlink ./result)" book