fix ci

Author: XuyangSong

.github/workflows/ci.yml

@@ -28,9 +28,9 @@ jobs:
       - name: Check formatting (main workspace)
         run: cargo fmt --all -- --check
 
-      - name: Check formatting (arm_circuits workspace)
+      - name: Check formatting (example_circuits workspace)
         run: cargo fmt --all -- --check
-        working-directory: arm_circuits
+        working-directory: example_circuits
 
   clippy:
     name: Clippy
@@ -76,7 +76,7 @@ jobs:
         with:
           workspaces: |
             .
-            arm_circuits
+            example_circuits
 
       # - name: Install RISC0 toolchain
       #   run: |
@@ -87,10 +87,10 @@ jobs:
       - name: Build main workspace
         run: cargo build --workspace --all-targets
 
-      ## Skip building arm_circuits workspace for now due to limited risc0-toolchain download requests
-      # - name: Build arm_circuits workspace
+      ## Skip building example_circuits workspace for now due to limited risc0-toolchain download requests
+      # - name: Build example_circuits workspace
       #   run: cargo build --workspace --all-targets
-      #   working-directory: arm_circuits
+      #   working-directory: example_circuits
 
   test:
     name: Test
@@ -119,7 +119,7 @@ jobs:
             .
 
       - name: Run tests (main workspace)
-        run: cargo test --workspace --features test
+        run: cargo test --workspace
 
   test-release:
     name: Test Release
@@ -138,5 +138,5 @@ jobs:
             .
 
       - name: Run release tests (main workspace)
-        run: cargo test --workspace --release --features test
+        run: cargo test --workspace --release
         timeout-minutes: 60