max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests/lake
History
Exact
Mac Malone 727b4aad2b
fix: lake: noRelease test flakiness (#13786) 
This PR fixes flaky output checks in Lake's `tests/noRelease`.
2026-05-19 23:35:28 +00:00
..
examples feat: lake: hoist compiled configurations (#13683) 2026-05-08 18:00:37 +00:00
tests fix: lake: noRelease test flakiness (#13786) 2026-05-19 23:35:28 +00:00
.gitattributes
.gitignore
lakefile.toml feat: lake: cached compressed module artifacts (#12914) 2026-03-16 04:36:19 +00:00
run_clean.sh test: tests/lake/run_test.sh (#13501) 2026-04-25 04:36:08 +00:00
run_test.sh test: tests/lake/run_test.sh (#13501) 2026-04-25 04:36:08 +00:00