Merge branch 'main' into brian/less-nix

o1-labs · Sep 6, 2024 · 8580e52 · 8580e52
2 parents 2d79600 + 66781be
commit 8580e52
Show file tree

Hide file tree

Showing 7 changed files with 134,821 additions and 133,215 deletions.
diff --git a/MINA_COMMIT b/MINA_COMMIT
@@ -1 +1 @@
-The mina commit used to generate the backends for node and web is b929a827a366a783a47be173fae2a83b7163b330
+The mina commit used to generate the backends for node and web is 97f63d093af135d2b30d8fdbec28119dc6e70728
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		The mina commit used to generate the backends for node and web is b929a827a366a783a47be173fae2a83b7163b330
		The mina commit used to generate the backends for node and web is 97f63d093af135d2b30d8fdbec28119dc6e70728