chore: install SP1 toolchain for tests

succinctlabs · Nov 8, 2024 · a47324a · a47324a
1 parent 572103f
commit a47324a
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -36,6 +36,12 @@ jobs:
       - name: Setup CI
         uses: ./.github/actions/setup
 
+      - name: Install SP1 toolchain
+        run: |
+          curl -L https://sp1.succinct.xyz | bash
+          ~/.sp1/bin/sp1up 
+          ~/.sp1/bin/cargo-prove prove --version
+
       - name: Run cargo check
         uses: actions-rs/cargo@v1
         with:
@@ -72,6 +78,12 @@ jobs:
       - name: Setup CI
         uses: ./.github/actions/setup
 
+      - name: Install SP1 toolchain
+        run: |
+          curl -L https://sp1.succinct.xyz | bash
+          ~/.sp1/bin/sp1up 
+          ~/.sp1/bin/cargo-prove prove --version
+
       - name: Run cargo check
         uses: actions-rs/cargo@v1
         with:
@@ -102,6 +114,12 @@ jobs:
       - name: Setup CI
         uses: ./.github/actions/setup
 
+      - name: Install SP1 toolchain
+        run: |
+          curl -L https://sp1.succinct.xyz | bash
+          ~/.sp1/bin/sp1up 
+          ~/.sp1/bin/cargo-prove prove --version
+
       - name: Run cargo fmt
         uses: actions-rs/cargo@v1
         with: