New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: bump interchain-security #4127

Merged

mergify merged 1 commit into main from julien/ic

May 10, 2024

Merged

chore: bump interchain-security #4127

chore: bump interchain-security

Mergify / Rule: automerge to main with label automerge and branch protection passing (queue) succeeded May 10, 2024 in 0s

The pull request has been merged automatically

The pull request has been merged automatically at 1e06cc2

View more details on Mergify