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

chore: Nix: cache Leanc.src

Browse source
This commit is contained in:
Sebastian Ullrich 2022-12-18 15:02:48 +01:00
parent f732afed0a
commit adf74380cc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

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