try removing verifier

succinctlabs · Nov 6, 2024 · a7f4577 · a7f4577
1 parent 5a99518
commit a7f4577
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 85 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -120,15 +120,6 @@ jobs:
         env:
           CARGO_INCREMENTAL: 1
 
-      - name: Add wasm target
-        run: rustup target add wasm32-unknown-unknown
-
-      - name: Check wasm compatibility for sdk
-        uses: actions-rs/cargo@v1
-        with:
-          command: check
-          args: -p sp1-sdk --target wasm32-unknown-unknown --no-default-features
-
   examples:
     name: Examples
     runs-on:

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -28,7 +28,7 @@ members = [
   "crates/sdk",
   "crates/cuda",
   "crates/stark",
-  "crates/verifier",
+  # "crates/verifier",
   "crates/zkvm/*",
 ]
 exclude = ["examples/target"]