From 7c3c402a76d62e8d72cdf79f35c7cfa56af2d87a Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Thu, 5 Dec 2024 14:13:16 +0100
Subject: [PATCH] Squashed commit of the following:
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

commit 1a76df94869fe5ac9739082b5f28519803168748
Author: Łukasz Czajka <62751+lukaszcz@users.noreply.github.com>
Date:   Thu Dec 5 14:12:21 2024 +0100

    Fix RISC0 CI (#3233)
---
 .github/workflows/ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 044fce3b96..bc7d35c9c7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -223,11 +223,13 @@ jobs:
         with:
           cache-on-failure: false
 
+      # cargo-risczero version needs to be updated to the latest version if the
+      # CI reports a version inconsistency error
       - name: Install RISC0 VM
         shell: bash
         run: |
           cargo install cargo-binstall@1.6.9 --force
-          cargo binstall cargo-risczero@1.1.1 --no-confirm --force
+          cargo binstall cargo-risczero@1.2.0 --no-confirm --force
           cargo risczero install
 
       - name: Checkout CairoVM