Merge branch 'topic/manual-merge-edge' into 'edge'

Merge master into edge manually

See merge request eng/ide/ada_language_server!1789

Author: eliericha

.github/workflows/build-binaries.yml

@@ -19,7 +19,7 @@ jobs:
       - name: Setup Python
         uses: actions/setup-python@v4
         with:
-          python-version: '3.10'
+          python-version: '3.11'
       - name: Initialize TAG and git autocrlf
         shell: bash
         run: |

CHANGELOG.md

@@ -5,6 +5,13 @@ section below it for the last release. -->
 ## \<next>
 
 * 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
 
 ## 25.0.20241014
 

integration/vscode/ada/package.json

@@ -886,6 +886,12 @@
                 }
             ]
         },
+        "configurationDefaults": {
+            "[ada]": {
+                "editor.tabSize": 3,
+                "editor.detectIndentation": false
+            }
+        },
         "walkthroughs": [
             {
                 "id": "als-get-started",