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

vm-monitor: Replace filter_map with filter #5443

Closed

Conversation

sharnoff
Copy link
Member

@sharnoff sharnoff commented Oct 3, 2023

I think there's a clippy lint for this? Not sure if we're not using that, or something.

In any case, I was confused reading this code previously, and I think this change should make what's going on a bit clearer (because high wasn't changing anyways!).

I think there's a clippy lint for this? Not sure if we're not using
that, or something.

In any case, I was confused reading this code previously, and I think
this change should make what's going on a bit clearer (because `high`
wasn't changing anyways!).
@sharnoff sharnoff requested a review from koivunej October 3, 2023 03:27
@sharnoff sharnoff requested review from a team as code owners October 3, 2023 03:27
@sharnoff sharnoff requested review from bojanserafimov and removed request for a team October 3, 2023 03:27
@github-actions
Copy link

github-actions bot commented Oct 3, 2023

2232 tests run: 2116 passed, 0 failed, 116 skipped (full report)


Code coverage (full report)

  • functions: 53.2% (8069 of 15166 functions)
  • lines: 81.2% (47114 of 58017 lines)

The comment gets automatically updated with the latest test results
8e1c994 at 2023-10-03T03:58:32.462Z :recycle:

@sharnoff sharnoff enabled auto-merge (squash) October 4, 2023 16:51
@sharnoff
Copy link
Member Author

ah dang, this is no longer relevant since #5524 - forgot to close

@sharnoff sharnoff closed this Oct 31, 2023
auto-merge was automatically disabled October 31, 2023 19:18

Pull request was closed

@sharnoff sharnoff deleted the sharnoff/vm-monitor-replace-filter_map-with-filter branch October 31, 2023 19:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants