From 9d3366971c568335c2740db3f23761ab43c9cf9d Mon Sep 17 00:00:00 2001 From: Weikeng Chen Date: Sat, 19 Aug 2023 11:22:12 -0700 Subject: [PATCH] Update ci.yml --- .github/workflows/ci.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 63e87b1..523b0c9 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -168,7 +168,7 @@ jobs: uses: actions-rs/toolchain@v1 with: toolchain: stable - target: aarch64-unknown-none + target: thumbv6m-none-eabi override: true - uses: actions/cache@v2 @@ -183,10 +183,10 @@ jobs: uses: actions-rs/cargo@v1 with: command: check - args: --examples --workspace --exclude ark-curve-constraint-tests --target aarch64-unknown-none + args: --examples --workspace --exclude ark-curve-constraint-tests --target thumbv6m-none-eabi - name: build uses: actions-rs/cargo@v1 with: command: build - args: --workspace --exclude ark-curve-constraint-tests --target aarch64-unknown-none + args: --workspace --exclude ark-curve-constraint-tests --target thumbv6m-none-eabi