r
/
bookshelf-doc
mirror of https://github.com/jrpotter/bookshelf-doc
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

feat: use mathlib4 build cache

main
Henrik Böving 2023-01-04 23:25:35 +01:00
parent 8ac4e35587
commit f37579aaf7
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/build.yml vendored
View File

@ -28,6 +28,7 @@ jobs:
cd ../ cd ../
git clone https://github.com/leanprover-community/mathlib4 git clone https://github.com/leanprover-community/mathlib4
cd mathlib4 cd mathlib4
lake exe cache get
lake build lake build
- name: generate docs (PRs only) - name: generate docs (PRs only)

2
lean-toolchain
View File

@ -1 +1 @@
leanprover/lean4:nightly-2022-12-22 leanprover/lean4:nightly-2023-01-04