Skip to content
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.

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

switch to published usize-set (previously index-set) #4190

Merged
merged 1 commit into from
Dec 16, 2024

Conversation

tzemanovic
Copy link
Member

Describe your changes

related to #4143

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:

Copy link

codecov bot commented Dec 16, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 74.46%. Comparing base (7d52518) to head (2ae305c).
Report is 3 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #4190      +/-   ##
==========================================
- Coverage   74.47%   74.46%   -0.01%     
==========================================
  Files         342      342              
  Lines      107773   107773              
==========================================
- Hits        80264    80257       -7     
- Misses      27509    27516       +7     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@tzemanovic tzemanovic added merge Ready to merge - mergifyio bot will add the PR to merge queue when all checks pass backport-libs-0.46 Backport libraries to 0.46 maintenance branch labels Dec 16, 2024
@mergify mergify bot merged commit a306dbb into main Dec 16, 2024
23 of 25 checks passed
@mergify mergify bot deleted the tomas/pub-usize-set branch December 16, 2024 13:33
mergify bot added a commit that referenced this pull request Dec 16, 2024
switch to published usize-set (previously index-set) (backport #4190)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport-libs-0.46 Backport libraries to 0.46 maintenance branch dependencies 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