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

Simplify other/extension handling. #339

Merged
merged 6 commits into from
Aug 8, 2023

Conversation

duesee
Copy link
Owner

@duesee duesee commented Aug 8, 2023

No description provided.

@duesee duesee force-pushed the duesee/experiment/simplify_other_extension_handling branch from b3bd92e to 7c4def4 Compare August 8, 2023 11:07
@duesee duesee changed the title Duesee/experiment/simplify other extension handling Simplify other extension handling. Aug 8, 2023
@duesee duesee changed the title Simplify other extension handling. Simplify other/extension handling. Aug 8, 2023
@duesee duesee force-pushed the duesee/experiment/simplify_other_extension_handling branch from 7c4def4 to 77f089f Compare August 8, 2023 11:16
@coveralls
Copy link
Collaborator

Pull Request Test Coverage Report for Build 5796226902

  • 93 of 99 (93.94%) changed or added relevant lines in 10 files are covered.
  • 4 unchanged lines in 3 files lost coverage.
  • Overall coverage increased (+0.3%) to 93.639%

Changes Missing Coverage Covered Lines Changed/Added Lines %
imap-types/src/extensions/quota.rs 13 14 92.86%
imap-types/src/flag.rs 21 26 80.77%
Files with Coverage Reduction New Missed Lines %
imap-types/src/auth.rs 1 84.38%
imap-types/src/flag.rs 1 73.85%
imap-types/src/extensions/enable.rs 2 91.07%
Totals Coverage Status
Change from base Build 5763210682: 0.3%
Covered Lines: 8714
Relevant Lines: 9306

💛 - Coveralls

@duesee duesee marked this pull request as ready for review August 8, 2023 11:33
@duesee duesee merged commit 699431e into main Aug 8, 2023
11 checks passed
@duesee duesee deleted the duesee/experiment/simplify_other_extension_handling branch August 8, 2023 11:33
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