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

no surprises, windows bing bong #3553

Merged
merged 2 commits into from
Jul 31, 2024
Merged

no surprises, windows bing bong #3553

merged 2 commits into from
Jul 31, 2024

Conversation

tzemanovic
Copy link
Member

@tzemanovic tzemanovic commented Jul 25, 2024

Describe your changes

use cosmos/ibc-rs#1288 to fix windows build (https://github.com/anoma/namada/actions/runs/10085198034/job/27901001472)

Indicate on which release or other PRs this topic is based on

v0.41.0

Checklist before merging to draft

  • I have added a changelog
  • Git history is in acceptable state

tzemanovic added a commit that referenced this pull request Jul 25, 2024
@tzemanovic tzemanovic marked this pull request as ready for review July 25, 2024 12:31
@tzemanovic tzemanovic force-pushed the tomas/win-bing-bong branch from f6b826a to 4d3f5a3 Compare July 25, 2024 12:52
Copy link

codecov bot commented Jul 25, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 53.66%. Comparing base (2f74edf) to head (4d3f5a3).
Report is 78 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #3553   +/-   ##
=======================================
  Coverage   53.66%   53.66%           
=======================================
  Files         322      322           
  Lines      111871   111871           
=======================================
+ Hits        60035    60038    +3     
+ Misses      51836    51833    -3     

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

@Fraccaman Fraccaman mentioned this pull request Jul 28, 2024
@Fraccaman
Copy link
Member

@Mergifyio refresh

Copy link
Contributor

mergify bot commented Jul 29, 2024

refresh

✅ Pull request refreshed

@Fraccaman
Copy link
Member

@Mergifyio refresh

Copy link
Contributor

mergify bot commented Jul 30, 2024

refresh

✅ Pull request refreshed

@Fraccaman Fraccaman self-requested a review July 31, 2024 08:01
@Fraccaman Fraccaman added merge Ready to merge - mergifyio bot will add the PR to merge queue when all checks pass and removed ready-for-draft labels Jul 31, 2024
mergify bot added a commit that referenced this pull request Jul 31, 2024
@mergify mergify bot merged commit 34d324f into main Jul 31, 2024
21 checks passed
@mergify mergify bot deleted the tomas/win-bing-bong branch July 31, 2024 08:50
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