rzup for doc job

.github/workflows/main.yml

@@ -2,9 +2,9 @@ name: CI
 
 on:
   push:
-    branches: [ main ]
+    branches: [main]
   pull_request:
-    branches: [ main ]
+    branches: [main]
 
   workflow_dispatch:
 
@@ -39,7 +39,7 @@ jobs:
       - run: cargo sort --workspace --check
       - uses: actions/setup-python@v4
         with:
-          python-version: '3.10'
+          python-version: "3.10"
       - run: python license-check.py
 
   bazel:
@@ -99,7 +99,12 @@ jobs:
       - uses: actions/checkout@v3
       - uses: risc0/risc0/.github/actions/rustup@4ab1f0bba1b0515819221bebc59f95aad0a6a3a9
       - uses: risc0/risc0/.github/actions/sccache@1a373c71585766e4f6985b96c48389daaf69d528
-      - run: cargo doc --no-deps --exclude=bigint-test-methods --workspace
+      - run: |
+          curl -L https://risczero.com/install | bash
+          echo "$HOME/.risc0/bin" >> $GITHUB_PATH
+        shell: bash
+      - run: rzup install rust
+      - run: cargo doc --no-deps --workspace
       - run: sccache --show-stats
 
   # see: https://github.com/orgs/community/discussions/26822

zirgen/circuit/keccak/src/prove/mod.rs

@@ -84,8 +84,8 @@ pub fn keccak_prover() -> Result<Box<dyn KeccakProver>> {
     cfg_if! {
         if #[cfg(feature = "cuda")] {
             self::cuda::keccak_prover()
-        } else if #[cfg(any(all(target_os = "macos", target_arch = "aarch64"), target_os = "ios"))] {
-            self::metal::keccak_prover()
+        // } else if #[cfg(any(all(target_os = "macos", target_arch = "aarch64"), target_os = "ios"))] {
+        //     self::metal::keccak_prover()
         } else {
             self::cpu::keccak_prover()
         }