From bcebc0a14580b3ab7b77aaff98e708198fb86a4e Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 20 Nov 2020 16:10:02 +0100
Subject: [PATCH] chore: Nix: set up Cachix

---
 .github/workflows/nix-ci.yml | 18 ++++++++++++++----
 flake.nix                    |  2 +-
 2 files changed, 15 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/nix-ci.yml b/.github/workflows/nix-ci.yml
index 0cdcd48647..62c424375c 100644
--- a/.github/workflows/nix-ci.yml
+++ b/.github/workflows/nix-ci.yml
@@ -27,6 +27,7 @@ jobs:
       # complete all jobs
       fail-fast: false
     env:
+      CACHIX_AUTH_TOKEN: '${{ secrets.CACHIX_AUTH_TOKEN }}'
     steps:
       - name: Checkout
         uses: actions/checkout@v2
@@ -42,12 +43,17 @@ jobs:
         uses: cachix/install-nix-action@v12
       - name: Further setup Nix
         run: |
-          sudo mkdir -m0770 -p /nix/var/cache/ccache
-          sudo chown root:nixbld /nix/var/cache/ccache
           echo '
             max-jobs = auto
             extra-sandbox-paths = /nix/var/cache/ccache
+            extra-trusted-substituters = https://lean4.cachix.org/
             extra-trusted-public-keys = lean4.cachix.org-1:mawtxSxcaiWE24xCXXgh3qnvlTkyU7evRRnGeAhD4Wk=' | sudo tee /etc/nix/nix.conf
+          sudo mkdir -m0770 -p /nix/var/cache/ccache
+          sudo chown root:nixbld /nix/var/cache/ccache
+          sudo pkill nix-daemon  # reload
+
+          # install & use Cachix manually since `cachix-action` pushes *all* derivations (incl. `$mod-deps`, stage 2&3, etc.)
+          nix-env -iA cachix -f https://cachix.org/api/v1/install
       - name: Setup CCache Cache
         uses: actions/cache@v2
         with:
@@ -57,8 +63,12 @@ jobs:
           restore-keys: |
             ${{ matrix.name }}-nix-ccache
       - name: Build
-        run: nix build
+        run: |
+          nix build -v --print-build-logs
+          cachix push -j4 lean4 ./result
       - name: Test
-        run: nix build .#lean.test
+        run: |
+          nix build -v --print-build-logs .#lean.test
+          cachix push -j4 lean4 ./result
       - name: CCache stats
         run: ccache -s
diff --git a/flake.nix b/flake.nix
index acf2633551..57b0b9c7b9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -14,7 +14,7 @@
     let
       nix-pinned = writeScriptBin "nix" ''
         #!${bash}/bin/bash
-        ${nix.defaultPackage.${system}}/bin/nix --experimental-features 'nix-command flakes' $@
+        ${nix.defaultPackage.${system}}/bin/nix --experimental-features 'nix-command flakes' --extra-substituters https://lean4.cachix.org/ $@
       '';
       cc = ccacheWrapper.override rec {
         cc = llvmPackages_10.clang.override {