ci: use dev branch

succinctlabs · Jul 23, 2024 · 7b254de · 7b254de
1 parent 0aa45e1
commit 7b254de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -229,7 +229,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           repository: succinctlabs/sp1
-          ref: mattstam/rm-changelog-seen
+          ref: dev
           path: sp1
 
       - name: Build