From b79e0ff754af10bf876d12a1b64fad0b718ae01a Mon Sep 17 00:00:00 2001
From: David Rusu <davidrusu.me@gmail.com>
Date: Wed, 21 Jan 2026 15:45:54 +0400
Subject: [PATCH] rename arm64 to aarch64

---
 .github/resources/prover/Makefile    | 2 +-
 .github/workflows/build-circuits.yml | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/resources/prover/Makefile b/.github/resources/prover/Makefile
index 7a5831d..5c0409d 100644
--- a/.github/resources/prover/Makefile
+++ b/.github/resources/prover/Makefile
@@ -23,7 +23,7 @@ host_linux_x86_64_static:
 	    -DCMAKE_PREFIX_PATH=depends/gmp/package && \
 	make -j$(nproc) -vvv && make install
 
-host_linux_arm64_static:
+host_linux_aarch64_static:
 	rm -rf build_prover && mkdir build_prover && cd build_prover && \
 	cmake .. \
 	    -DTARGET_PLATFORM=aarch64 \
diff --git a/.github/workflows/build-circuits.yml b/.github/workflows/build-circuits.yml
index a51675f..1e29b6f 100644
--- a/.github/workflows/build-circuits.yml
+++ b/.github/workflows/build-circuits.yml
@@ -377,8 +377,8 @@ jobs:
           name: logos-blockchain-circuits-${{ env.VERSION }}-${{ env.OS }}-${{ env.ARCH }}.tar.gz
           path: logos-blockchain-circuits-${{ env.VERSION }}-${{ env.OS }}-${{ env.ARCH }}.tar.gz
 
-  build-linux-arm64:
-    name: Build Linux ARM64 Binaries (Native for RPI5)
+  build-linux-aarch64:
+    name: Build Linux aarch64 Binaries (Native for RPI5)
     runs-on: ubuntu-22.04-arm
     needs:
       - setup
@@ -442,7 +442,7 @@ jobs:
           ./build_gmp.sh host
           # Create symlink for TARGET_PLATFORM=aarch64 to find GMP
           ln -s package depends/gmp/package_aarch64
-          make host_linux_arm64_static
+          make host_linux_aarch64_static
 
       - name: Bundle Rapidsnark Prover
         env:
@@ -1131,7 +1131,7 @@ jobs:
       - setup
       - generate-proving-keys
       - build-linux
-      - build-linux-arm64
+      - build-linux-aarch64
       - build-windows
       - build-macos
     env: