max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: Nix: cache correct output

Browse source
This commit is contained in:
Sebastian Ullrich 2022-06-21 21:10:08 +02:00
parent e20f2e076e
commit dd58b5c2df
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/nix-ci.yml vendored
View file

@ -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