From adf74380cc3ea99e066840871e8be6df4534e267 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Sun, 18 Dec 2022 15:02:48 +0100 Subject: [PATCH] chore: Nix: cache `Leanc.src` --- .github/workflows/nix-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/nix-ci.yml b/.github/workflows/nix-ci.yml index 249a645e4e..f838474888 100644 --- a/.github/workflows/nix-ci.yml +++ b/.github/workflows/nix-ci.yml @@ -82,7 +82,7 @@ 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 .#lean .#leanc .#lean-all .#Lean.oTree .#iTree .#modDepsFiles -o push-build + nix build $NIX_BUILD_ARGS .#stage0 .#lean .#leanc .#lean-all .#Lean.oTree .#iTree .#modDepsFiles .#Leanc.src -o push-build - name: Test run: | nix build $NIX_BUILD_ARGS .#test -o push-test