Skip to content

Python: fix(redis): scope RedisHistoryProvider keys by source_id - #7494

Closed
Yufeng He (he-yufeng) wants to merge 5 commits into
microsoft:mainfrom
he-yufeng:fix/redis-history-provider-source-id-key
Closed

Python: fix(redis): scope RedisHistoryProvider keys by source_id#7494
Yufeng He (he-yufeng) wants to merge 5 commits into
microsoft:mainfrom
he-yufeng:fix/redis-history-provider-source-id-key

fix: drop type ignores that pyright now rejects as unnecessary

154cd8a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
add_label
succeeded Aug 18, 2026 in 23s