Mac Malone d145b9f8ee chore: lake: mv targets test to tests (#11592) ... This PR moves Lake's `tests/lake/examples/targets` test from `examples` to `tests` (and thus disabling it by default). It is being [flaky](https://github.com/leanprover/lean4/actions/runs/20111185289/attempts/1) for some unknown reason, so I am disabling until I have a better opportunity to debug it.		2025-12-11 09:28:44 +00:00
..
examples	chore: lake: mv targets test to tests (#11592)	2025-12-11 09:28:44 +00:00
tests	chore: lake: mv targets test to tests (#11592)	2025-12-11 09:28:44 +00:00
.gitattributes
.gitignore
build.sh
clean-build.sh
lakefile.toml
Makefile
time-build.sh