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.

Sign up for GitHub

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

Jump to bottom

Remove stream unneeded map ok uses #1104

Merged
merged 3 commits into from
Feb 18, 2023
Merged

Remove stream unneeded map ok uses #1104

merged 3 commits into from
Feb 18, 2023

Conversation

panarch
Copy link
Member

@panarch panarch commented Feb 18, 2023

No description provided.

@panarch panarch added the improvement Improvements for existing features label Feb 18, 2023
@panarch panarch self-assigned this Feb 18, 2023
@coveralls
Copy link

Pull Request Test Coverage Report for Build 4211081151

  • 11 of 13 (84.62%) changed or added relevant lines in 3 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage decreased (-0.003%) to 98.794%
Changes Missing Coverage Covered Lines Changed/Added Lines %
core/src/executor/fetch.rs 5 6 83.33%
core/src/plan/schema.rs 4 5 80.0%
Totals Coverage Status
Change from base Build 4211047011: -0.003%
Covered Lines: 39721
Relevant Lines: 40206
💛 - Coveralls

@panarch panarch merged commit edb44d5 into main Feb 18, 2023
@panarch panarch deleted the remove-stream-unneeded-map-ok-uses branch February 18, 2023 12:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ever0de ever0de ever0de approved these changes

@devgony devgony Awaiting requested review from devgony

Assignees

@panarch panarch

Labels
improvement Improvements for existing features
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@panarch @coveralls @ever0de