From 35d4d659d2d584c755b3f5466e6fd6aaf231f850 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 23 Dec 2024 19:41:01 -0800 Subject: [PATCH] chore: `grind` test file names --- tests/lean/run/{grindCanonInsts.lean => grind_canon_insts.lean} | 0 tests/lean/run/{grindCanonTypes.lean => grind_canon_types.lean} | 0 .../lean/run/{grindNormLevelIssue.lean => grind_norm_levels.lean} | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename tests/lean/run/{grindCanonInsts.lean => grind_canon_insts.lean} (100%) rename tests/lean/run/{grindCanonTypes.lean => grind_canon_types.lean} (100%) rename tests/lean/run/{grindNormLevelIssue.lean => grind_norm_levels.lean} (100%) diff --git a/tests/lean/run/grindCanonInsts.lean b/tests/lean/run/grind_canon_insts.lean similarity index 100% rename from tests/lean/run/grindCanonInsts.lean rename to tests/lean/run/grind_canon_insts.lean diff --git a/tests/lean/run/grindCanonTypes.lean b/tests/lean/run/grind_canon_types.lean similarity index 100% rename from tests/lean/run/grindCanonTypes.lean rename to tests/lean/run/grind_canon_types.lean diff --git a/tests/lean/run/grindNormLevelIssue.lean b/tests/lean/run/grind_norm_levels.lean similarity index 100% rename from tests/lean/run/grindNormLevelIssue.lean rename to tests/lean/run/grind_norm_levels.lean