mina icon indicating copy to clipboard operation
mina copied to clipboard

Published 20 hours ago • verified publisher icon MinaProtocol

Merge develop into o1js main

Open mrmr1993 opened this issue 1 year ago • 4 comments

This PR merges back develop into o1js-main. Note that this uses #15038 as the merge commit, to include latent commits from berkeley which are not yet merged into develop.

mrmr1993 avatar Feb 05 '24 15:02 mrmr1993

!ci-build-me

mrmr1993 avatar Feb 05 '24 15:02 mrmr1993

!ci-nightly-me

mrmr1993 avatar Feb 05 '24 15:02 mrmr1993

o1js built from this is not compatible with berkeley: https://github.com/o1-labs/o1js/pull/1410

this prevents merging this for now, sadly

mitschabaude avatar Feb 05 '24 19:02 mitschabaude

!ci-build-me

mrmr1993 avatar Feb 05 '24 20:02 mrmr1993

we did this somewhere else

mitschabaude avatar Jul 10 '24 12:07 mitschabaude