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

bump(ada-language-server): update to v26.0.202412191 #8415

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Jan 2, 2025

This PR contains the following updates:

Package Update Change
ada-language-server patch 26.0.202412190 -> 26.0.202412191

Warning

Some dependencies could not be looked up. Check the Dependency Dashboard for more information.


Release Notes

AdaCore/ada_language_server (ada-language-server)

v26.0.202412191

Compare Source

Release notes

  • The configured project is now automatically reloaded when adding/renaming/deleting a file in a known source directory.
  • GPR .cgpr config files can now be passed to the Ada Language Server through the new gprConfigurationFile configuration option.
  • Project diagnostics are no longer published on each opened Ada file: instead, they are now published on the workspace's root directory.
  • Add a setting ada.showNotificationsOnErrors to control whether VS Code should display error notifications for failing LSP requests.
  • Add support for a default .als.json workspace configuration file and a global $XDG_CONFIG_HOME/als/config.json user configuration file. See settings.md for more information.

Configuration

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

🚦 Automerge: Enabled.

Rebasing: Whenever PR becomes conflicted, 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 enabled auto-merge (squash) January 2, 2025 16:35
@williambotman williambotman requested a review from a team January 2, 2025 16:36
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