search

filecoin-project / specs-actors

DEPRECATED Specification of builtin actors, in the form of executable code.
Other
86 stars 102 forks source link

ProveReplicaUpdates: minor fixes #1533

Closed arajasek closed 2 years ago

arajasek commented 2 years ago

Thanks to @jennijuju for the review!

arajasek commented 2 years ago

Overhauled in #1534