Update to RISC0 v3.0.3 (#3431)

Author: lukaszcz

.github/workflows/ci.yml

@@ -25,7 +25,7 @@ concurrency:
 env:
   SKIP: ormolu,format-juvix-files,typecheck-juvix-examples
   CAIRO_VM_VERSION: 6c324e0d761013f38b8b743e515a65ac1a380206
-  RISC0_VM_VERSION: v1.0.1
+  RISC0_VM_VERSION: v3.0.3
   # This is the top commit hash in the branch lukasz/juvix-ci-stable
   # of the anoma repository.
   ANOMA_VERSION: c8c2a385dd916a28982918fdc22da90c409e347a
@@ -44,8 +44,6 @@ jobs:
 
   ormolu:
     runs-on: ubuntu-latest
-    env:
-      STACK_RESOLVER: lts-21.25
     steps:
       - uses: actions/checkout@v3
       - uses: extractions/setup-just@v2
@@ -56,17 +54,27 @@ jobs:
       - name: Generate juvix.cabal
         run: hpack
 
+      - name: Add ~/.local/bin to PATH
+        run: |
+          mkdir -p "$HOME/.local/bin"
+          echo "$HOME/.local/bin" >> $GITHUB_PATH
+
       - name: Cache ormolu
         id: ormolu-cache
         uses: actions/cache@v3
         with:
           path: |
             ~/.local/bin/ormolu
-          key: ${{ runner.os }}-ormolu-${{ env.STACK_RESOLVER }}
+          key: ${{ runner.os }}-ormolu-0.5.3.0
 
       - name: Install ormolu
         if: steps.ormolu-cache.outputs.cache-hit != 'true'
-        run: stack install ormolu --resolver=${{ env.STACK_RESOLVER }}
+        run: |
+          curl -L https://github.com/tweag/ormolu/releases/download/0.5.3.0/ormolu-Linux.zip -o ormolu.zip
+          unzip ormolu.zip
+          mkdir -p $HOME/.local/bin
+          mv ormolu $HOME/.local/bin/ormolu
+          chmod +x $HOME/.local/bin/ormolu
 
       - name: Run ormolu
         run: just format check
@@ -235,7 +243,7 @@ jobs:
         run: |
           curl -L https://risczero.com/install | bash
           ~/.risc0/bin/rzup install
-          ~/.risc0/bin/rzup install r0vm 1.2.6
+          ~/.risc0/bin/rzup install r0vm 3.0.3
 
       - name: Checkout CairoVM
         uses: actions/checkout@v4

runtime/rust/juvix/src/lib.rs

@@ -30,7 +30,7 @@ mod tests {
                     } else {
                         tmp1 = program_fib(FUN_FIB, vec![smallint_sub(args[0], make_smallint(1))]);
                         tmp2 = program_fib(FUN_FIB, vec![smallint_sub(args[0], make_smallint(2))]);
-                        break (smallint_add(tmp1, tmp2));
+                        break smallint_add(tmp1, tmp2);
                     }
                 }
                 _ => panic!("unknown function id"),