From 591eccee4f449cddfd7451c93a00e4fe474febac Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Mon, 14 Nov 2022 15:46:34 +0100 Subject: [PATCH] chore: move expensive test to beginning of test block --- tests/lean/run/{structPerfIssue.lean => aStructPerfIssue.lean} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tests/lean/run/{structPerfIssue.lean => aStructPerfIssue.lean} (100%) diff --git a/tests/lean/run/structPerfIssue.lean b/tests/lean/run/aStructPerfIssue.lean similarity index 100% rename from tests/lean/run/structPerfIssue.lean rename to tests/lean/run/aStructPerfIssue.lean