From 835929eba343be33d9cc0346472c3ba1f555fc69 Mon Sep 17 00:00:00 2001 From: Manish Kumar Date: Wed, 31 Jan 2024 12:29:32 +0530 Subject: [PATCH] git submodule updated --- .gitmodules | 3 +-- hash/risc0/external/risc0 | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/.gitmodules b/.gitmodules index 27593ef..1425a16 100644 --- a/.gitmodules +++ b/.gitmodules @@ -15,5 +15,4 @@ url = https://github.com/faulhornlabs/hash-circuits [submodule "hash/risc0/external/risc0"] path = hash/risc0/external/risc0 - url = https://github.com/risc0/risc0.git - branch = release-0.20 + url = https://github.com/risc0/risc0.git \ No newline at end of file diff --git a/hash/risc0/external/risc0 b/hash/risc0/external/risc0 index a4d2b5d..1742ef8 160000 --- a/hash/risc0/external/risc0 +++ b/hash/risc0/external/risc0 @@ -1 +1 @@ -Subproject commit a4d2b5d95685554ee34a39d60b40fa2c5deff57a +Subproject commit 1742ef8098d246871055501a0559811c9a8fece4