Updated on 2022-06-10 10:15:39 UTC
refreshed every 30 minutes
@ZaynahDargayeZaynahDargaye (3)@bsallbsall (2)

Everybody's actions on nomadic-labs/tezos formal-consistency (3)

Resource Action Who and why
nomadic-labs/tezos#473
nomadic-labs/tezos#473
formal-consistency protocol state::in-progress verif-activity 		Complete task @bsallbsall @ZaynahDargayeZaynahDargaye is assigned
nomadic-labs/tezos#404
nomadic-labs/tezos#404
formal-consistency state::in-progress verif-activity 		Complete task @ZaynahDargayeZaynahDargaye is assigned
nomadic-labs/tezos#392
nomadic-labs/tezos#392
formal-consistency state::to-do verif-activity 		Solve issue @bsallbsall @ZaynahDargayeZaynahDargaye is assigned

Repositories

nomadic-labs/tezosnomadic-labs/tezos

Dispatchers:   @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol (from project owners)
Merge‑teamers:   @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol (copied from dispatchers)
Issue watchers:  No one (no one)
Labels:  priority::high type::bug priority::medium 006-cartago 007 AWS baker benchmark bootstrap CI ci--arm64 ci--arm64-foobar ci--docker ci--docs ci--opam ci--skip client Code quality 🌞 consensus crypto data_encoding ddb devops discussion documentation easy error_monad fancy-node feature-spec feature-verif formal-consistency formal-tools gas incentives_mechanism incident Internship interoperability issues-management mempool michelson mockup Monitoring Needs review ocaml-stdlib p2p performance pipelining priority::low privacy protocol protocol-environment release Release Management Crew research rpc safer-impl sapling sdk-frontend shell signer specification state::blocked state::in-progress state::in-review state::paused state::ready-to-merge state::to-do storage tenderbake tests tests::testnet Tooling type::meta UX validation verif-activity workers