Fix release job dependencies

This is a fix-up to model-checking#3841 where the job names were not adjusted in one
place.

Author: tautschnig

.github/workflows/release.yml

@@ -114,7 +114,7 @@ jobs:
 
   test-use-local-toolchain:
     name: TestLocalToolchain
-    needs: [build_bundle_macos_x86_64, build_bundle_macos_aarch64, build_bundle_linux, build_bundle_linux_arm]
+    needs: [build_bundle_macos_x86_64, build_bundle_macos_aarch64, build_bundle_linux_x86_64, build_bundle_linux_aarch64]
     strategy:
       matrix:
         os: [macos-13, macos-14, ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm]