Merge pull request #277 from o1-labs/maybe-flag

o1-labs · Jun 18, 2024 · df307f8 · df307f8
2 parents 63f1531 + 1e29577
commit df307f8
Show file tree

Hide file tree

Showing 14 changed files with 86,268 additions and 86,247 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
-542086872db9a0058712046a0f8a7d0663e46cb5
+9af0d39e438cf02fcde16015291f59b320f47e84