From 5c7ad8edf7d8cb43956cdbb4c2b22f315e8c99bc Mon Sep 17 00:00:00 2001 From: Michael Panchenko Date: Thu, 13 Nov 2025 16:37:08 +0700 Subject: [PATCH] Minor [ci skip] --- scripts/profile_tool_call.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/profile_tool_call.py b/scripts/profile_tool_call.py index 8fe922a5..e0e69981 100644 --- a/scripts/profile_tool_call.py +++ b/scripts/profile_tool_call.py @@ -25,6 +25,7 @@ if __name__ == "__main__": serena_config = SerenaConfig.from_config_file() serena_config.log_level = logging.INFO + serena_config.jetbrains = False serena_config.gui_log_window_enabled = False serena_config.web_dashboard = False