git submodule updated

This commit is contained in:
Manish Kumar 2024-01-31 12:29:32 +05:30
parent 193737eabd
commit 835929eba3
2 changed files with 2 additions and 3 deletions

3
.gitmodules vendored
View File

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

@ -1 +1 @@
Subproject commit a4d2b5d95685554ee34a39d60b40fa2c5deff57a
Subproject commit 1742ef8098d246871055501a0559811c9a8fece4