chore: Nix CI: build & cache everything again

dselsam · Jun 21, 2021 · e68d097 · e68d097
1 parent 062cc5d
commit e68d097
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/nix-ci.yml b/.github/workflows/nix-ci.yml
@@ -77,7 +77,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.oTree -o push-build
+          nix build $NIX_BUILD_ARGS .#stage0 .#stage1.lean-all .#Lean.oTree -o push-build
       - name: Test
         run: |
           nix build $NIX_BUILD_ARGS .#test -o push-test