From ba6d07b98bc8bdf859d934c8530a62281429c121 Mon Sep 17 00:00:00 2001
From: Ratan Kaliani <ratankaliani@berkeley.edu>
Date: Fri, 20 Dec 2024 15:36:15 -0800
Subject: [PATCH] feat: revert to dev

---
 .github/workflows/pr.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index a5201cd50..9b4702efe 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -248,7 +248,7 @@ jobs:
 
       - name: Run cargo prove new
         run: |
-          cargo prove new fibonacci --evm
+          cargo prove new fibonacci --evm --version dev
 
       - name: Build program and run script
         run: |