Update ci.yml

arkworks-rs · Aug 19, 2023 · 3c9a8c8 · 3c9a8c8
1 parent 7a54969
commit 3c9a8c8
Showing 1 changed file with 3 additions and 10 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -163,13 +163,6 @@ jobs:
         uses: actions/checkout@v2
 
       - name: Install Rust
-        uses: actions-rs/toolchain@v1
-        with:
-          toolchain: stable
-          target: thumbv6m-none-eabi
-          override: true
-
-      - name: Install Rust ARM64
         uses: actions-rs/toolchain@v1
         with:
           toolchain: stable
@@ -192,17 +185,17 @@ jobs:
                   --exclude ark-algebra-test-templates \
                   --exclude ark-algebra-bench-templates \
                   --exclude ark-poly-benches \
-                  --target thumbv6m-none-eabi"
+                  --target aarch64-unknown-none"
 
       - name: build
         uses: actions-rs/cargo@v1
         with:
             command: build
-            args: "--examples --workspace \
+            args: "--workspace \
                   --exclude ark-algebra-test-templates \
                   --exclude ark-algebra-bench-templates \
                   --exclude ark-poly-benches \
-                  --target thumbv6m-none-eabi"
+                  --target aarch64-unknown-none"
 
   test_against_curves:
     name: Test against curves