From d389aad7378461b7968664d691b60cf59f6d9e51 Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Tue, 17 Dec 2024 14:50:14 +0100 Subject: [PATCH] update --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 70ec36401a..8655f43b2a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -24,7 +24,7 @@ concurrency: env: SKIP: ormolu,format-juvix-files,typecheck-juvix-examples - CAIRO_VM_VERSION: eb4256d992cd32beac6bf36e5fc852eda955efa7 + CAIRO_VM_VERSION: 6c324e0d761013f38b8b743e515a65ac1a380206 RISC0_VM_VERSION: v1.0.1 # This is the top commit hash in the branch lukasz/juvix-integration-tracking # of the anoma repository.