sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
lean4/tests/lake/build.sh
Mac Malone aa3d409eb6 refactor: lake: mv tests/examples to top-level tests dir (#10688) 
This PR moves Lake's test infrastructure from `src/lake` to
`tests/lake`.
2025-10-06 21:47:57 +00:00

3 lines
29 B
Bash
Executable File
Raw Permalink Blame History

#!/usr/bin/env sh
lake build
Reference in New Issue View Git Blame Copy Permalink