From 01f475ffc3f5819d6d206b66a8e7695fc92655f1 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Mon, 30 Mar 2026 19:47:46 +0200 Subject: [PATCH] Fix type of news id (must use int, not string) --- src/serena/dashboard.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/serena/dashboard.py b/src/serena/dashboard.py index 2a1fb3c8..844d7ebf 100644 --- a/src/serena/dashboard.py +++ b/src/serena/dashboard.py @@ -368,8 +368,8 @@ class SerenaDashboardAPI: return post_installation_news_ids with open(news_snippet_id_file, encoding="utf-8") as f: last_read_news_id = int(f.read().strip()) - if last_read_news_id == "20262103": - last_read_news_id = "20260321" # fix originally misnamed file + if last_read_news_id == 20262103: + last_read_news_id = 20260321 # fix originally misnamed file return [news_id for news_id in post_installation_news_ids if news_id > last_read_news_id] try: