From 6bf703ad986e0f9a98d6e1ae8a4d92b23ed88976 Mon Sep 17 00:00:00 2001 From: Marcos Marcolin <48370677+marcosmarcolin@users.noreply.github.com> Date: Wed, 20 Nov 2024 18:46:38 -0300 Subject: [PATCH] chore: remove unused variable. (#16867) Co-authored-by: Marcos Marcolin --- run-tests.php | 1 - 1 file changed, 1 deletion(-) diff --git a/run-tests.php b/run-tests.php index 7ab158bce5c..258eae1fb2d 100755 --- a/run-tests.php +++ b/run-tests.php @@ -693,7 +693,6 @@ function main(): void if ($test_cnt) { putenv('NO_INTERACTION=1'); usort($test_files, "test_sort"); - $start_timestamp = time(); $start_time = hrtime(true); echo "Running selected tests.\n";