PR #27809 redis: Upgrade Jedis to 7.2.0

redis: Upgrade Jedis to 7.2.0 #27809

Igor-Chernenko wants to merge 2 commits into trinodb:master from Igor-Chernenko:issue-27784-upgrade-jedis

github-actions added redis

Igor-Chernenko force pushed from e8fecd5c to fb2ec7e4 13 days ago

Igor-Chernenko marked this pull request as ready for review 13 days ago

ebyhr commented on 2025-12-31

Igor-Chernenko marked this pull request as draft 13 days ago

Igor-Chernenko force pushed from fb2ec7e4 to a9a48c87 13 days ago

redis: Upgrade Jedis to 7.2.0

bd445260

Igor-Chernenko force pushed from 1e22900a to bd445260 13 days ago

Merge branch 'master' into issue-27784-upgrade-jedis

e95fef20

Reviewers

ebyhr

Assignees

No one assigned

Labels

redis

Milestone

No milestone