Skip to content

Commit 1067757

Browse files
authored
Merge pull request #2023 from o1-labs/brian/develop
point mina to develop
2 parents c824001 + e816c92 commit 1067757

File tree

3 files changed

+4
-4
lines changed

3 files changed

+4
-4
lines changed

flake.lock

Lines changed: 2 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

src/mina

Submodule mina updated 563 files

0 commit comments

Comments
 (0)