fix(ci): use dev

Author: nhtyy

.github/workflows/ci.yml

@@ -47,7 +47,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           repository: succinctlabs/sp1
-          ref: n/rust-1.85.0
+          ref: dev
           path: sp1
 
       - name: Build