chore: move test to correct directory

2026-03-21 12:24:11 +00:00 · 2025-04-11 19:45:48 -07:00
1 changed files with 0 additions and 0 deletions
--- a/tests/lean/run/grind_append_issue.lean
+++ b/tests/lean/run/grind_append_issue.lean