Skip to content

update tiny-hderive #4818

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

Jump to bottom
Merged
merged 4 commits into from
Sep 12, 2025
Merged

update tiny-hderive #4818

merged 4 commits into from
Sep 12, 2025

Conversation

tzemanovic
Copy link
Collaborator

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:

@github-actions github-actions bot added the breaking:api public API breaking change label Sep 10, 2025
@mergify Mergify
Copy link
Contributor

mergify bot commented Sep 10, 2025 •
edited
Loading

🧪 CI Insights

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

🟢 All jobs passed!

But CI Insights is watching 👀

@tzemanovic tzemanovic removed the breaking:api public API breaking change label Sep 12, 2025
@github-actions github-actions bot added the breaking:api public API breaking change label Sep 12, 2025
@tzemanovic tzemanovic added backport-libs-0.251 Backport libraries to 0.251 maintenance branch merge Ready to merge - mergifyio bot will add the PR to merge queue when all checks pass and removed breaking:api public API breaking change labels Sep 12, 2025
@mergify mergify bot merged commit 775e2e5 into main Sep 12, 2025
29 checks passed
@mergify mergify bot deleted the tomas/up-hderive branch September 12, 2025 08:45
mergify bot pushed a commit that referenced this pull request Sep 12, 2025
@tzemanovic @mergify
changelog: add #4818
5cb5638 
(cherry picked from commit d122c8d)
@mergify mergify bot mentioned this pull request Sep 12, 2025
Merged
3 tasks
@tzemanovic tzemanovic added the backport-201.0 Backport to app 201.0 maintenance branch label Sep 12, 2025
mergify bot added a commit that referenced this pull request Sep 12, 2025
@mergify
Merge pull request #4819 from namada-net/mergify/bp/maint-libs-0.251/…
39d7cd8 
…pr-4818

update tiny-hderive (backport #4818)
mergify bot pushed a commit that referenced this pull request Sep 12, 2025
@tzemanovic @mergify
changelog: add #4818
3d0212f 
(cherry picked from commit d122c8d)
@mergify mergify bot mentioned this pull request Sep 12, 2025
Merged
3 tasks
mergify bot added a commit that referenced this pull request Sep 12, 2025
@mergify
Merge pull request #4820 from namada-net/mergify/bp/maint-201.0/pr-4818
c970bc9 
update tiny-hderive (backport #4818)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Fraccaman Fraccaman Fraccaman approved these changes

Assignees

No one assigned

Labels

backport-201.0 Backport to app 201.0 maintenance branch backport-libs-0.251 Backport libraries to 0.251 maintenance branch merge Ready to merge - mergifyio bot will add the PR to merge queue when all checks pass

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@tzemanovic @Fraccaman