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

fix: ignore when fail to remove label in batch monitor #12490

Merged
merged 1 commit into from
Sep 22, 2023
Merged

Conversation

ZENOTME
Copy link
Contributor

@ZENOTME ZENOTME commented Sep 22, 2023

I hereby agree to the terms of the RisingWave Labs, Inc. Contributor License Agreement.

What's changed and what's your intention?

related: #12489

Just ignore it to avoid panic, fix it later.

Checklist

  • I have written necessary rustdoc comments
  • I have added necessary unit tests and integration tests
  • I have added fuzzing tests or opened an issue to track them. (Optional, recommended for new SQL features Sqlsmith: Sql feature generation #7934).
  • [ ] My PR contains breaking changes. (If it deprecates some features, please create a tracking issue to remove them in the future).
  • All checks passed in ./risedev check (or alias, ./risedev c)
  • [ ] My PR changes performance-critical code. (Please run macro/micro-benchmarks and show the results.)
  • [ ] My PR contains critical fixes that are necessary to be merged into the latest release. (Please check out the details)

Documentation

Release note

If this PR includes changes that directly affect users or other significant modifications relevant to the community, kindly draft a release note to provide a concise summary of these changes. Please prioritize highlighting the impact these changes will have on users.

@github-actions github-actions bot added the type/fix Bug fix label Sep 22, 2023
@ZENOTME ZENOTME requested a review from hzxa21 September 22, 2023 07:24
Copy link
Contributor

@liurenjie1024 liurenjie1024 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

@ZENOTME ZENOTME enabled auto-merge September 22, 2023 07:34
@ZENOTME ZENOTME added this pull request to the merge queue Sep 22, 2023
@codecov
Copy link

codecov bot commented Sep 22, 2023

Codecov Report

Merging #12490 (8659775) into main (cdbb47f) will decrease coverage by 0.01%.
The diff coverage is 0.00%.

@@            Coverage Diff             @@
##             main   #12490      +/-   ##
==========================================
- Coverage   69.53%   69.53%   -0.01%     
==========================================
  Files        1429     1429              
  Lines      238177   238175       -2     
==========================================
- Hits       165624   165622       -2     
  Misses      72553    72553              
Flag Coverage Δ
rust 69.53% <0.00%> (-0.01%) ⬇️

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

Files Changed Coverage Δ
src/batch/src/monitor/stats.rs 50.56% <0.00%> (+0.28%) ⬆️

... and 2 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

Merged via the queue into main with commit 5238860 Sep 22, 2023
17 checks passed
@ZENOTME ZENOTME deleted the zj/ignore_panic branch September 22, 2023 07:50
hzxa21 pushed a commit that referenced this pull request Sep 22, 2023
github-actions bot pushed a commit that referenced this pull request Sep 22, 2023
chenzl25 pushed a commit that referenced this pull request Sep 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type/fix Bug fix
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants