Merge branch 'topic/aws' into 'master'

Restore AWS secrets variables

See merge request eng/ide/ada_language_server!1682

Author: reznikmm

.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