From 9628fdf1b48cb843be2ef1a10184c01d90d369a9 Mon Sep 17 00:00:00 2001
From: Michael Panchenko <michael.panchenko@oraios-ai.de>
Date: Sun, 12 Apr 2026 11:30:10 +0200
Subject: [PATCH] Minor typing fix

---
 src/serena/agent.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/serena/agent.py b/src/serena/agent.py
index ab14239f..c479c80d 100644
--- a/src/serena/agent.py
+++ b/src/serena/agent.py
@@ -413,7 +413,7 @@ class SerenaAgent:
         is_ci = os.getenv("CI") == "true" or os.getenv("GITHUB_ACTIONS") == "true"
         if is_ci:
             return
-        params = {
+        params: dict[str, str | int] = {
             "os": platform.system(),
             "dashboard": int(self.serena_config.web_dashboard),
             "version": self.version,