Merge branch 'main' into merge/main-v2

o1-labs · Sep 24, 2024 · 82db748 · 82db748
2 parents 5cb7ede + 0d645fa
commit 82db748
Show file tree

Hide file tree

Showing 30 changed files with 144,209 additions and 142,389 deletions.
diff --git a/MINA_COMMIT b/MINA_COMMIT
@@ -1,2 +1 @@
-The mina commit used to generate the backends for node and web is
-0b3244848b5aa8011b1ebffa373b288cd437b773
+The mina commit used to generate the backends for node and web is 203fbbcc7a00494114066f67c20ac8c510691578