Skip to content

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Sep 24, 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 #4834 done by [Mergify](https://mergify.com).

Copy link
Contributor Author

mergify bot commented Sep 24, 2025

🧪 CI Insights

Here's what we observed from your CI run for 49b36ac.

🟢 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 24, 2025
@mergify mergify bot merged commit 97e1168 into maint-libs-0.251 Sep 24, 2025
18 of 22 checks passed
@mergify mergify bot deleted the mergify/bp/maint-libs-0.251/pr-4834 branch September 24, 2025 14:35
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.

1 participant