Updated on 2022-06-10 10:15:39 UTC
refreshed every 30 minutes
@arvidnlarvidnl (1)@ksojakovaksojakova (1)@lthmslthms (1)@phinkphink (1)@vch9vch9 (1)

Everybody's actions on nomadic-labs/tezos formal-tools (4)

Resource Action Who and why
nomadic-labs/tezos#498
nomadic-labs/tezos#498
formal-tools 		Complete task @arvidnlarvidnl @ksojakovaksojakova 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#386
nomadic-labs/tezos#386
formal-tools tests 		Meta issue 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