Updated on 2022-06-10 10:15:38 UTC
refreshed every 30 minutes

@lthmsThomas Letan's actions on nomadic-labs/tezos (5)

Resource Action Why
nomadic-labs/tezos#389
nomadic-labs/tezos#389
feature-spec state::in-progress verif-activity 		Solve issue lthms is assigned
nomadic-labs/tezos#398
nomadic-labs/tezos#398
formal-tools state::in-progress verif-activity 		Solve issue lthms is assigned
nomadic-labs/tezos#540
nomadic-labs/tezos#540
state::to-do verif-activity 		Solve issue lthms is assigned
nomadic-labs/tezos#585
nomadic-labs/tezos#585
feature-verif state::to-do verif-activity 		Solve issue lthms is assigned
nomadic-labs/tezos#660
nomadic-labs/tezos#660
feature-verif safer-impl verif-activity 		Solve issue lthms 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