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 #7970

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

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Nov 18, 2024

This PR contains the following updates:

Package Update Change
ada-language-server major 24.0.6 -> 26.0.202411173

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.202411173

Compare Source

  • Create commands for opening the project file and the log file
  • Add editor contextual menus for some Ada commands
  • Avoid 'auto-import' command when completing with-clauses
  • Replace "Project Problem" diagnostic by the project status message
  • Avoid running the Prove codelens with no problem matchers
  • Fix Goto Definition for entry in Protected Types
  • Avoid PRECONDITION_FAILURE on editing an empty file
  • Avoid occurrences of STALE_REFERENCE_ERROR in Libadalang

v25.0.20241014

Compare Source

  • Fix the removal of old log files in the ~/.als directory
  • Fix the Ada: Go to other file command for child packages
  • Fix various project loading issues after significant changes in the GPR2 project loading API
    • Make sure all project issues are emitted as diagnostics
    • Avoid lingering diagnostics from earlier failed loading attempts
    • Treat a subclass of non-critical project issues as non-blocking for the ALS
    • Add a setting ada.projectDiagnostics to control whether the ALS should emit project diagnostics
  • Fix the ada: Run main task when the main executable is at the workspace root

v25.0.20240915

Compare Source

  • Implement type hierarchy requests
  • Migrate the build infrastructure to ALIRE
  • Migrate the VSIX publication infrastructure out of GitHub Actions
  • Revamp the VS Code extension walkthrough
  • Filter invisible completion items by unit prefix
  • Provide SPARK CodeLenses on subprograms when gnatprove is on PATH
  • Improve completion for GPR project files

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) November 18, 2024 20:24
@Conarius
Copy link
Contributor

Release asset names changed

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.

1 participant