Merge pull request #305 from o1-labs/fix-ci-v2-merge

Merge main into v2 to fix CI
o1-labs · Sep 26, 2024 · 59eb4c0 · 59eb4c0
2 parents 1c05550 + a7ef04f
commit 59eb4c0
Show file tree

Hide file tree

Showing 15 changed files with 206,934 additions and 206,934 deletions.
diff --git a/MINA_COMMIT b/MINA_COMMIT
@@ -1 +1 @@
-The mina commit used to generate the backends for node and web is 203fbbcc7a00494114066f67c20ac8c510691578
+The mina commit used to generate the backends for node and web is 9bdaae99904c13e3e10841ec6b778e45cdacabfb
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 203fbbcc7a00494114066f67c20ac8c510691578
		The mina commit used to generate the backends for node and web is 9bdaae99904c13e3e10841ec6b778e45cdacabfb