about summary refs log tree commit diff
diff options
context:
space:
mode:
authorsternenseemann <sternenseemann@systemli.org>2023-04-18 17:03:47 +0200
committersternenseemann <sternenseemann@systemli.org>2023-04-18 17:03:47 +0200
commit91303a2f6e582ab4e21266984f72d10f2b83ecc7 (patch)
tree7226eaa27be32fac071062a5bfd4bdf69309ec4d
parent7723294b698939e2b9756c4e250110c6db018a30 (diff)
chore(.github): enable cache.nixos.org binary cache
When the TVL binary cache gets gc'd, we are left with nothing — we want
to avoid bootstrapping nixpkgs from scratch at least.
-rw-r--r--.github/workflows/doc.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index dcf5013..659adc2 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -19,8 +19,8 @@ jobs:
       - name: Build web output
         run: |
           nix-build -A deploy docs/web.nix \
-            --option substituters 'https://cache.tvl.su' \
-            --option trusted-public-keys 'cache.tvl.su:kjc6KOMupXc1vHVufJUoDUYeLzbwSr9abcAKdn/U1Jk='
+            --option substituters 'https://cache.tvl.su https://cache.nixos.org' \
+            --option trusted-public-keys 'cache.tvl.su:kjc6KOMupXc1vHVufJUoDUYeLzbwSr9abcAKdn/U1Jk= cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY='
           ./result -w tmp
       - name: Deploy output to GitHub Pages
         uses: JamesIves/github-pages-deploy-action@v4.4.1