chore: grind test file names

leanprover · Dec 24, 2024 · 35d4d65 · 35d4d65
1 parent a99d4f8
commit 35d4d65
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/tests/lean/run/grindCanonInsts.lean → tests/lean/run/grind_canon_insts.lean b/tests/lean/run/grindCanonInsts.lean → tests/lean/run/grind_canon_insts.lean
diff --git a/tests/lean/run/grindCanonTypes.lean → tests/lean/run/grind_canon_types.lean b/tests/lean/run/grindCanonTypes.lean → tests/lean/run/grind_canon_types.lean
diff --git a/tests/lean/run/grindNormLevelIssue.lean → tests/lean/run/grind_norm_levels.lean b/tests/lean/run/grindNormLevelIssue.lean → tests/lean/run/grind_norm_levels.lean