mina icon indicating copy to clipboard operation
mina copied to clipboard

Published 20 hours ago • verified publisher icon MinaProtocol

proof-systems is now pointing to berkeley

Open joseandro opened this issue 1 year ago • 2 comments

Updates on top of https://github.com/MinaProtocol/mina/pull/15603

joseandro avatar May 20 '24 17:05 joseandro

!ci-build-me

joseandro avatar May 20 '24 17:05 joseandro

Probably merge right after https://github.com/MinaProtocol/mina/pull/15666 so that check-merges-cleanly-into-develop succeeds

rbonichon avatar May 30 '24 18:05 rbonichon