Merge e1ca32f into e528d68

succinctlabs · Nov 6, 2024 · 92491b9 · 92491b9
2 parents e528d68 + e1ca32f
commit 92491b9
Show file tree

Hide file tree

Showing 32 changed files with 800 additions and 659 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -88,6 +88,43 @@ jobs:
           RUST_BACKTRACE: 1
           SP1_DEV: 1
 
+  test-arm-prover:
+    name: Test (ARM) Prover
+    runs-on:
+      [
+        runs-on,
+        runner=64cpu-linux-arm64,
+        spot=false,
+        "run-id=${{ github.run_id }}",
+      ]
+    env:
+      CARGO_NET_GIT_FETCH_WITH_CLI: "true"
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Setup CI
+        uses: ./.github/actions/setup
+
+      - name: Run cargo check
+        uses: actions-rs/cargo@v1
+        with:
+          command: check
+          toolchain: 1.81.0
+          args: --all-targets --all-features --package sp1-prover
+
+      - name: Run cargo test
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+          toolchain: 1.81.0
+          args: --release --features native-gnark --package sp1-prover
+        env:
+          RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native
+          RUST_BACKTRACE: 1
+          SP1_DEV: 1
+          RUST_LOG: info
+
   lint:
     name: Formatting & Clippy
     runs-on: [runs-on, runner=8cpu-linux-x64, "run-id=${{ github.run_id }}"]