ci: add aarch64 smoke assertion for current TODO backend

Author: YinMo19

.github/workflows/ci.yml

@@ -76,3 +76,19 @@ jobs:
 
       - name: Build examples (aarch64)
         run: cargo build --examples --target aarch64-unknown-linux-gnu
+
+      - name: Run aarch64 example smoke (expected backend TODO)
+        shell: bash
+        run: |
+          set -euo pipefail
+
+          cc -O0 -fno-omit-frame-pointer -fno-inline -no-pie examples/instrument_with_original/target.c -o examples/instrument_with_original/app
+
+          set +e
+          OUT=$(cargo run --example instrument_with_original 2>&1)
+          CODE=$?
+          set -e
+
+          echo "$OUT"
+          [[ $CODE -ne 0 ]]
+          [[ "$OUT" == *"NotImplemented(\"linux aarch64 backend is planned but not implemented yet\")"* ]]