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: |