Merge remote branch 'origin/master' into edge

Author: automatic-merge

.github/workflows/build-binaries.yml

@@ -60,6 +60,10 @@ jobs:
           echo $PWD/bin >> $GITHUB_PATH
       - name: Get cross GNAT toolchain (Linux)
         if: ${{ runner.os == 'Linux' }}
+        env:
+          AWS_ACCESS_KEY_ID: ${{secrets.GHA_CACHE_ACCESS_KEY_ID}}
+          AWS_SECRET_ACCESS_KEY: ${{secrets.GHA_CACHE_SECRET}}
+          AWS_DEFAULT_REGION: eu-west-1
         run: |
             sudo apt install -y libc6-dev-arm64-cross linux-libc-dev-arm64-cross binutils-aarch64-linux-gnu
             aws s3 cp s3://adacore-gha-tray-eu-west-1/toolchain/aarch64-Linux-gcc-14.2.tar.bz2 . --sse=AES256

CHANGELOG.md

@@ -4,10 +4,13 @@
 section below it for the last release. -->
 ## \<next>
 
-* The implementation of type hierarchy requests
+* 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
 
 ## 24.0.6 (2024-06-25)