Skip to content

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

Open
he-yufeng wants to merge 2 commits into
microsoft:mainfrom
he-yufeng:fix/redis-history-provider-source-id-key
Open

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

fix(redis): make the provider key separator collision-proof and use i…

d309e32
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 4, 2026 in 21s