chore: move test from tests/run to tests/lean/run

2026-04-14 08:04:07 +00:00 · 2026-01-21 17:03:45 +01:00
1 changed files with 0 additions and 0 deletions
--- a/tests/lean/run/12048.lean
+++ b/tests/lean/run/12048.lean