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

Slightly polish code to respect more pretty settings #1006

Merged
merged 4 commits into from
Oct 30, 2023
Merged

Slightly polish code to respect more pretty settings #1006

merged 4 commits into from
Oct 30, 2023

Conversation

ice1000
Copy link
Member

@ice1000 ice1000 commented Oct 30, 2023

bors r+

bors bot added a commit that referenced this pull request Oct 30, 2023
@bors @ice1000
merge: #1006
9fb5777 
1006: Slightly polish code to respect more pretty settings r=ice1000 a=ice1000

bors r+

Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>
@ice1000
Copy link
Member Author

ice1000 commented Oct 30, 2023

bors r-

@bors
Copy link
Contributor

bors bot commented Oct 30, 2023

Canceled.

@codecov
Copy link

codecov bot commented Oct 30, 2023 •
edited
Loading

Codecov Report

Merging #1006 (45ef9ac) into main (77299a1) will increase coverage by 0.42%.
Report is 4 commits behind head on main.
The diff coverage is n/a.

@@             Coverage Diff              @@
##               main    #1006      +/-   ##
============================================
+ Coverage     81.41%   81.83%   +0.42%     
- Complexity     3479     3497      +18     
============================================
  Files           288      288              
  Lines         10685    10685              
  Branches       1295     1295              
============================================
+ Hits           8699     8744      +45     
+ Misses         1262     1215      -47     
- Partials        724      726       +2

see 3 files with indirect coverage changes

@ice1000
Copy link
Member Author

ice1000 commented Oct 30, 2023

bors r+

bors bot added a commit that referenced this pull request Oct 30, 2023
@bors @ice1000
merge: #1006
a163a4a 
1006: Slightly polish code to respect more pretty settings r=ice1000 a=ice1000

bors r+

Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>
@bors
Copy link
Contributor

bors bot commented Oct 30, 2023

Canceled.

@ice1000
Copy link
Member Author

ice1000 commented Oct 30, 2023

bors r+

@ice1000 ice1000 added this to the v0.30 milestone Oct 30, 2023
@bors
Copy link
Contributor

bors bot commented Oct 30, 2023

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot merged commit 502dedf into main Oct 30, 2023
6 checks passed
@bors bors bot deleted the fix-cli branch October 30, 2023 16:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
cli test fixtures
Projects
None yet
Milestone
v0.30
Development

Successfully merging this pull request may close these issues.
1 participant
@ice1000