c-flags

succinctlabs · Aug 1, 2024 · 8e7208e · 8e7208e
1 parent 7ed4149
commit 8e7208e
Showing 1 changed file with 13 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -20,18 +20,27 @@ jobs:
             triple: aarch64-unknown-linux-gnu
     runs-on: ${{ matrix.os }}
     steps:
-      - name: Install nightly toolchain
-        id: rustc-toolchain
+      - name: Install Rust Toolchain
         uses: actions-rs/toolchain@v1
         with:
-          toolchain: stable
+          toolchain: nightly-2024-04-17
+          profile: default
+          override: true
+          default: true
+          components: llvm-tools, rustc-dev
       - uses: lukka/[email protected]
 
       - name: Show rust version
         run: |
           cargo version
           rustup toolchain list
 
+      - name: Install SP1 toolchain
+        run: |
+          curl -L https://sp1.succinct.xyz | bash
+          ~/.sp1/bin/sp1up --version dev --c-toolchain
+          ~/.sp1/bin/cargo-prove prove --version
+
       - name: Check out succinctlabs/rust
         uses: actions/checkout@v3
         with:
@@ -43,7 +52,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           repository: succinctlabs/sp1
-          ref: dev
+          ref: mattstam/c-flags
           path: sp1
 
       - name: Build