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

scripts/make-package.sh - fix typo #4243

Merged
merged 1 commit into from
Jan 20, 2025
Merged

scripts/make-package.sh - fix typo #4243

merged 1 commit into from
Jan 20, 2025

Conversation

tzemanovic
Copy link
Member

Describe your changes

fix a typo from #4236

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 Jan 16, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 74.59%. Comparing base (5e86826) to head (28c2a37).
Report is 21 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #4243   +/-   ##
=======================================
  Coverage   74.59%   74.59%           
=======================================
  Files         342      342           
  Lines      108724   108724           
=======================================
+ Hits        81102    81104    +2     
+ Misses      27622    27620    -2     

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

@tzemanovic tzemanovic added the merge Ready to merge - mergifyio bot will add the PR to merge queue when all checks pass label Jan 20, 2025
mergify bot added a commit that referenced this pull request Jan 20, 2025
@mergify mergify bot merged commit 1654a17 into main Jan 20, 2025
24 of 25 checks passed
@mergify mergify bot deleted the tomas/win-package branch January 20, 2025 11:56
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