From e20f2e076e9091a6c2fea85c1cd9f70424e64ba0 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Tue, 21 Jun 2022 20:52:39 +0200 Subject: [PATCH] chore: Nix: cache lean-bin-tools --- .github/workflows/nix-ci.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/nix-ci.yml b/.github/workflows/nix-ci.yml index e67b75a3b1..4391326057 100644 --- a/.github/workflows/nix-ci.yml +++ b/.github/workflows/nix-ci.yml @@ -85,7 +85,8 @@ jobs: - name: Build run: | # .o files are not a runtime dependency on macOS because of lack of thin archives - nix build $NIX_BUILD_ARGS .#stage0 .#stage1.lean-all .#Lean.oTree .#iTree -o push-build + # lean-bin-tools are required for building Leanc-deps + nix build $NIX_BUILD_ARGS .#stage0 .#stage1.lean-all .#lean-bin-tools-unwrapped .#Lean.oTree .#iTree -o push-build - name: Test run: | nix build $NIX_BUILD_ARGS .#test -o push-test