ci: skip build on clippy

Author: MarcosNicolau

.github/workflows/build-and-test-rust.yml

@@ -31,6 +31,12 @@ jobs:
           source /home/runner/.bashrc
            ~/.sp1/bin/sp1up
 
+      - name: Install risc0 toolchain
+        run: |
+          curl -L https://risczero.com/install | bash
+          source /home/runner/.bashrc
+          /home/runner/.risc0/bin/rzup install
+
       - name: Cache Rust dependencies
         uses: actions/cache@v3
         with:
@@ -70,7 +76,8 @@ jobs:
       - name: Run Clippy on AggregationMode
         run: |
           cd aggregation_mode
-          cargo clippy --all -- -D warnings
+          # We need to skip the build as clippy does not support the riscv32im-risc0-zkvm-elf target
+          RISC0_SKIP_BUILD=1 cargo clippy --all -- -D warnings
 
   test:
     runs-on: aligned-runner
@@ -91,9 +98,9 @@ jobs:
 
       - name: Install risc0 toolchain
         run: |
-         curl -L https://risczero.com/install | bash
-         source /home/runner/.bashrc
-         rzup install
+          curl -L https://risczero.com/install | bash
+          source /home/runner/.bashrc
+          /home/runner/.risc0/bin/rzup install
 
       - name: Cache Rust dependencies
         uses: actions/cache@v3