Merge branch 'main' into feature/NOT-gadget

o1-labs · Nov 1, 2023 · fe6d56b · fe6d56b
2 parents f87bdbe + 2a60a9b
commit fe6d56b
Show file tree

Hide file tree

Showing 18 changed files with 92,745 additions and 92,199 deletions.
diff --git a/MINA_COMMIT b/MINA_COMMIT
@@ -1,2 +1,2 @@
 The mina commit used to generate the backends for node and web is
-5aff374a360e5e33470905563505c46134fca65c
+fbd97fe702ddb6327647eb29f2e9cb8c9146cda9