diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml
index 24f7fb472..a5cbcce60 100644
--- a/.github/workflows/proof.yml
+++ b/.github/workflows/proof.yml
@@ -30,6 +30,8 @@ jobs:
             session: CRefine SimplExportAndRefine
           - arch: X64
             session: CRefine
+          - arch: AARCH64
+            session: CRefine
           - arch: RISCV64
             features: MCS
             session: CRefine