Resource | Action | Who and why |
---|---|---|
nomadic-labs/tezos#403 nomadic-labs/tezos#403 safer-impl state::in-progress verif-activity | Solve issue |
|
nomadic-labs/tezos#612 nomadic-labs/tezos#612 protocol safer-impl verif-activity | Solve issue |
|
nomadic-labs/tezos#660 nomadic-labs/tezos#660 feature-verif safer-impl verif-activity | Solve issue |
![]() |