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

Update dependency LuaLS/lua-language-server to v3.13.5 #15

Merged
merged 1 commit into from
Dec 23, 2024

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Dec 20, 2024

This PR contains the following updates:

Package Update Change
LuaLS/lua-language-server patch 3.13.4 -> 3.13.5

Release Notes

LuaLS/lua-language-server (LuaLS/lua-language-server)

v3.13.5

Compare Source

2024-12-20

  • NEW Setting: Lua.hint.awaitPropagate: When enabled, --@​async propagates to the caller.
  • CHG Add server version information to initialize response #​2996
  • CHG If the ---@​field of the same name has a type of fun, the duplicate-doc-field check will not be performed.
  • FIX Incorrect infer for function array annotation on tables #​2367

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

@renovate renovate bot force-pushed the renovate/luals-lua-language-server-3.x branch 4 times, most recently from 454356c to 664c31e Compare December 23, 2024 13:09
@renovate renovate bot force-pushed the renovate/luals-lua-language-server-3.x branch from 664c31e to 6c51607 Compare December 23, 2024 13:09
@renovate renovate bot merged commit 1431fd5 into master Dec 23, 2024
1 check passed
@renovate renovate bot deleted the renovate/luals-lua-language-server-3.x branch December 23, 2024 15:30
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.

0 participants