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

chore(meta): fix retry strategy naming #1769

Merged
merged 1 commit into from
Apr 11, 2022
Merged

Conversation

yezizp2012
Copy link
Contributor

@yezizp2012 yezizp2012 commented Apr 11, 2022

What's changed and what's your intention?

As title, missing naming fix of #1768.

Checklist

  • I have written necessary docs and comments
  • I have added necessary unit tests and integration tests

Refer to a related PR or issue link (optional)

@yezizp2012 yezizp2012 enabled auto-merge (squash) April 11, 2022 10:18
@codecov
Copy link

codecov bot commented Apr 11, 2022

Codecov Report

Merging #1769 (dd870e6) into main (0d867ec) will increase coverage by 0.00%.
The diff coverage is 0.00%.

@@           Coverage Diff           @@
##             main    #1769   +/-   ##
=======================================
  Coverage   71.15%   71.16%           
=======================================
  Files         601      601           
  Lines       77950    77950           
=======================================
+ Hits        55469    55470    +1     
+ Misses      22481    22480    -1     
Flag Coverage Δ
rust 71.16% <0.00%> (+<0.01%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
src/meta/src/barrier/recovery.rs 0.00% <0.00%> (ø)
src/common/src/types/ordered_float.rs 23.50% <0.00%> (-0.20%) ⬇️
.../src/executor/managed_state/aggregation/extreme.rs 90.40% <0.00%> (+0.27%) ⬆️

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

@yezizp2012 yezizp2012 merged commit a933494 into main Apr 11, 2022
@yezizp2012 yezizp2012 deleted the fix/fix-strategy-naming branch April 11, 2022 10:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants