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