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