From 2cd0ac1e359e39fc475a160c9743e48059cb0b2b Mon Sep 17 00:00:00 2001
From: Pierre Kancir <pierre.kancir.emn@gmail.com>
Date: Mon, 25 Nov 2024 16:41:16 +0100
Subject: [PATCH] Tools: move pretty_diff_size to Tools/build_tests

---
 .github/workflows/test_size.yml                     | 2 +-
 Tools/scripts/{ => build_tests}/pretty_diff_size.py | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename Tools/scripts/{ => build_tests}/pretty_diff_size.py (100%)

diff --git a/.github/workflows/test_size.yml b/.github/workflows/test_size.yml
index 30e7f4bba2..5ee9f13033 100644
--- a/.github/workflows/test_size.yml
+++ b/.github/workflows/test_size.yml
@@ -268,7 +268,7 @@ jobs:
         shell: bash
         run: |
           cd pr/
-          Tools/scripts/pretty_diff_size.py -m $GITHUB_WORKSPACE/base_branch_bin -s $GITHUB_WORKSPACE/pr_bin
+          Tools/scripts/build_tests/pretty_diff_size.py -m $GITHUB_WORKSPACE/base_branch_bin -s $GITHUB_WORKSPACE/pr_bin
 
       - name: Feature compare with  ${{ github.event.pull_request.base.ref }}
         shell: bash
diff --git a/Tools/scripts/pretty_diff_size.py b/Tools/scripts/build_tests/pretty_diff_size.py
similarity index 100%
rename from Tools/scripts/pretty_diff_size.py
rename to Tools/scripts/build_tests/pretty_diff_size.py