about summary refs log tree commit diff
diff options
context:
space:
mode:
authorsternenseemann <sternenseemann@systemli.org>2021-11-29 12:50:18 +0100
committersterni <sternenseemann@systemli.org>2021-11-29 12:55:48 +0100
commit82d4aa4b6c5aaf62473fed4235ec7151e5581904 (patch)
treee1a52ea79bfe8f9c995ee67d69c02339f251b767
parent97c161f880a9616c4775668137e0cfafc9d5d0d8 (diff)
feat(workflows/doc): use cache.tvl.su over cachix
This will avoid compiling cheddar in GitHub Actions. The rest of the
build is very quick and doesn't really benefit from persistent cache
between runs.
-rw-r--r--.github/workflows/doc.yml4
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index 4d65e85..091b3c8 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -18,7 +18,9 @@ jobs:
           authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
       - name: Build web output
         run: |
-          nix-build -A deploy docs/web.nix
+          nix-build -A deploy docs/web.nix \
+            --option substituters 'https://cache.tvl.su' \
+            --option trusted-public-keys 'cache.tvl.su:kjc6KOMupXc1vHVufJUoDUYeLzbwSr9abcAKdn/U1Jk='
           ./result -w tmp
       - name: Deploy output to GitHub Pages
         uses: JamesIves/github-pages-deploy-action@4.1.7