diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 06ecac73628..ea6d2c78c7a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -20,11 +20,14 @@ 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/get-cmake@v3.27.4
 
       - name: Show rust version
@@ -32,6 +35,12 @@ jobs:
           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