max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests/pkg/ver_clash
History
Exact
Sebastian Ullrich 9fc62b7042
chore: clean up old test artifacts (#13179)
2026-03-30 08:02:52 +00:00
..
DiamondExample-A feat: module system is no longer experimental (#11637) 2025-12-12 21:20:26 +00:00
DiamondExample-B feat: module system is no longer experimental (#11637) 2025-12-12 21:20:26 +00:00
DiamondExample-C feat: module system is no longer experimental (#11637) 2025-12-12 21:20:26 +00:00
DiamondExample-D feat: module system is no longer experimental (#11637) 2025-12-12 21:20:26 +00:00
.gitignore test: copy ver_clash test data to temp dir before modifying (#13134) 2026-03-27 10:25:58 +00:00
clean.sh chore: clean up old test artifacts (#13179) 2026-03-30 08:02:52 +00:00
lean-toolchain chore: relative lean-toolchains (#12652) 2026-02-25 10:23:35 +00:00
run_test.sh test: copy ver_clash test data to temp dir before modifying (#13134) 2026-03-27 10:25:58 +00:00