Skip to content

Run integration workflow on version branches#210

Merged
uglide merged 1 commit intoredis:masterfrom
uglide:master
May 9, 2025
Merged

Run integration workflow on version branches#210
uglide merged 1 commit intoredis:masterfrom
uglide:master

Conversation

@uglide
Copy link
Copy Markdown
Contributor

@uglide uglide commented May 9, 2025

Cherry-picked from v3.1

@uglide uglide merged commit 58fe960 into redis:master May 9, 2025
29 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant