Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Sep 6, 2025

Describe your changes

Checklist before merging

  • If this PR has some consensus breaking changes, I added the corresponding breaking:: labels
    • This will require 2 reviewers to approve the changes
  • If this PR requires changes to the docs or specs, a corresponding PR is opened in the namada-docs repo
    • Relevant PR if applies:
  • If this PR affects services such as namada-indexer or namada-masp-indexer, a corresponding PR is opened in that repo
    • Relevant PR if applies:

This is an automatic backport of pull request #4800 done by [Mergify](https://mergify.com).

(cherry picked from commit 9ed40c3)
@mergify
Copy link
Contributor Author

mergify bot commented Sep 6, 2025

🧪 CI Insights

Here's what we observed from your CI run for 1c9aa29.

🟢 All jobs passed!

But CI Insights is watching 👀

@tzemanovic tzemanovic added the merge Ready to merge - mergifyio bot will add the PR to merge queue when all checks pass label Sep 6, 2025
mergify bot added a commit that referenced this pull request Sep 6, 2025
@mergify mergify bot merged commit 16ec222 into maint-libs-0.251 Sep 6, 2025
21 of 23 checks passed
@mergify mergify bot deleted the mergify/bp/maint-libs-0.251/pr-4800 branch September 6, 2025 12:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge Ready to merge - mergifyio bot will add the PR to merge queue when all checks pass

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants