From 89e460dd1b3eb26558c1111de6d23f6463aa3c19 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Wed, 19 Jan 2022 12:35:21 +0100 Subject: [PATCH] chore: CI: push .ileans to Cachix --- .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 475936113a..2642d9a093 100644 --- a/.github/workflows/nix-ci.yml +++ b/.github/workflows/nix-ci.yml @@ -86,7 +86,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 .#stage1.lean-all .#Lean.oTree -o push-build + nix build $NIX_BUILD_ARGS .#stage0 .#stage1.lean-all .#Lean.oTree .#iTree -o push-build - name: Test run: | nix build $NIX_BUILD_ARGS .#test -o push-test