triage bot: test for recently triaged issues is silently failing

leanprover-community · Feb 1, 2021 · f708f61 · f708f61
1 parent 1a7791b
commit f708f61
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/post_issue_on_zulip.py b/post_issue_on_zulip.py
@@ -17,7 +17,7 @@ def message_date(id):
 
 posted_topics = zulip_client.get_stream_topics(zulip_client.get_stream_id('triage')['stream_id'])['topics']
 pattern = re.compile(r'#(\d+)')
-posted_topics = {v[0]: message_date(t['max_id']) for (t, v) in ((t, pattern.findall(t['name'])) for t in posted_topics) if len(v) > 0}
+posted_topics = {int(v[0]): message_date(t['max_id']) for (t, v) in ((t, pattern.findall(t['name'])) for t in posted_topics) if len(v) > 0}
 
 print(posted_topics)