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

Upgrade gopls to 0.14.0 #1717

Merged
merged 1 commit into from
Oct 29, 2023
Merged

Upgrade gopls to 0.14.0 #1717

merged 1 commit into from
Oct 29, 2023

Conversation

bstaletic
Copy link
Collaborator

@bstaletic bstaletic commented Oct 29, 2023

This change is Reviewable

Copy link
Member

@puremourning puremourning left a comment

Choose a reason for hiding this comment

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

:lgtm:

Reviewed 1 of 1 files at r1, all commit messages.
Reviewable status: 1 of 2 LGTMs obtained (waiting on @bstaletic)

@codecov
Copy link

codecov bot commented Oct 29, 2023

Codecov Report

Merging #1717 (a79406a) into master (adce5d8) will increase coverage by 0.48%.
The diff coverage is n/a.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1717      +/-   ##
==========================================
+ Coverage   94.93%   95.42%   +0.48%     
==========================================
  Files          51       83      +32     
  Lines        6657     8127    +1470     
  Branches        0      164     +164     
==========================================
+ Hits         6320     7755    +1435     
+ Misses        337      322      -15     
- Partials        0       50      +50     

@bstaletic bstaletic added the Ship It! Manual override to merge a PR by maintainer label Oct 29, 2023
@mergify
Copy link
Contributor

mergify bot commented Oct 29, 2023

Thanks for sending a PR!

@mergify mergify bot merged commit 62cfc45 into ycm-core:master Oct 29, 2023
17 of 18 checks passed
@bstaletic bstaletic deleted the gopls0140 branch October 29, 2023 14:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Ship It! Manual override to merge a PR by maintainer
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants