Updated on 2022-06-10 10:15:39 UTC
refreshed every 30 minutes
@ZaynahDargayeZaynahDargaye (6)@bsallbsall (5)@lthmslthms (5)@phinkphink (2)@vch9vch9 (2)@julien.tjulien.t (1)

Everybody's actions on nomadic-labs/tezos verif-activity (14)

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#624
nomadic-labs/tezos#624
tests Tooling verif-activity 		Complete task @vch9vch9 is assigned
nomadic-labs/tezos#389
nomadic-labs/tezos#389
feature-spec state::in-progress verif-activity 		Solve issue @lthmslthms is assigned
nomadic-labs/tezos#391
nomadic-labs/tezos#391
feature-verif state::to-do verif-activity 		Solve issue @julien.tjulien.t is assigned
nomadic-labs/tezos#392
nomadic-labs/tezos#392
formal-consistency state::to-do verif-activity 		Solve issue @bsallbsall @ZaynahDargayeZaynahDargaye is assigned
nomadic-labs/tezos#398
nomadic-labs/tezos#398
formal-tools state::in-progress verif-activity 		Solve issue @lthmslthms is assigned
nomadic-labs/tezos#401
nomadic-labs/tezos#401
formal-tools state::in-progress verif-activity 		Solve issue @phinkphink is assigned
nomadic-labs/tezos#403
nomadic-labs/tezos#403
safer-impl state::in-progress verif-activity 		Solve issue @bsallbsall is assigned
nomadic-labs/tezos#540
nomadic-labs/tezos#540
state::to-do verif-activity 		Solve issue @lthmslthms is assigned
nomadic-labs/tezos#585
nomadic-labs/tezos#585
feature-verif state::to-do verif-activity 		Solve issue @bsallbsall @lthmslthms @phinkphink @ZaynahDargayeZaynahDargaye is assigned
nomadic-labs/tezos#612
nomadic-labs/tezos#612
protocol safer-impl verif-activity 		Solve issue @bsallbsall @ZaynahDargayeZaynahDargaye is assigned
nomadic-labs/tezos#660
nomadic-labs/tezos#660
feature-verif safer-impl verif-activity 		Solve issue @lthmslthms @ZaynahDargayeZaynahDargaye is assigned
nomadic-labs/tezos#615
nomadic-labs/tezos#615
tests Tooling verif-activity 		Complete task @vch9vch9 opened issue and no one 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