move test to run/

leanprover · Jan 31, 2025 · 80d2e07 · 80d2e07
1 parent 8bed3fd
commit 80d2e07
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/tests/lean/mul_match_pattern.lean.expected.out b/tests/lean/mul_match_pattern.lean.expected.out
diff --git a/tests/lean/mul_match_pattern.lean → tests/lean/run/mul_match_pattern.lean b/tests/lean/mul_match_pattern.lean → tests/lean/run/mul_match_pattern.lean