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

@ZaynahDargayeZay Dargaye's actions (20)

Resource Action Why
tezos/tezos#2603
[Pipelining] S1: Explicit preconditions and effects for each exisiting operation
Blocking tezos/tezos#2604
Solve issue ZaynahDargaye is assigned
tezos/tezos#2604
[Pipelining] S2: Explicit preconditions and effects for a block application
Blocking tezos/tezos#2938
Blocked by tezos/tezos#2603
Unblock ZaynahDargaye is assigned
tezos/tezos#2188
tezos/tezos#2188
Code quality 🌟 proto
Solve issue ZaynahDargaye is assigned
tezos/tezos#2941
[Pipelining] S1'. Model the specification and compute interference between operations
Solve issue ZaynahDargaye is assigned
tezos/tezos!4935
Draft: Proto: move stake updating functions
proto
Complete task ZaynahDargaye is the original author
UnWIP ZaynahDargaye is the original author
nomadic-labs/mustard#5
nomadic-labs/mustard#5
Complete task ZaynahDargaye is assigned
nomadic-labs/tezos#473
nomadic-labs/tezos#473
formal-consistency protocol state::in-progress verif-activity
Complete task ZaynahDargaye is assigned
nomadic-labs/tezos#404
nomadic-labs/tezos#404
formal-consistency state::in-progress verif-activity
Complete task ZaynahDargaye is assigned
nomadic-labs/mustard#6
Smart contract execution
Solve issue ZaynahDargaye is assigned
nomadic-labs/tezos#392
nomadic-labs/tezos#392
formal-consistency state::to-do verif-activity
Solve issue ZaynahDargaye is assigned
nomadic-labs/tezos#585
nomadic-labs/tezos#585
feature-verif state::to-do verif-activity
Solve issue ZaynahDargaye is assigned
nomadic-labs/tezos#612
nomadic-labs/tezos#612
protocol safer-impl verif-activity
Solve issue ZaynahDargaye is assigned
nomadic-labs/tezos#660
nomadic-labs/tezos#660
feature-verif safer-impl verif-activity
Solve issue ZaynahDargaye is assigned
nomadic-labs/mustard#4
Mustard for nl_doc
Complete task ZaynahDargaye opened issue and no one is assigned
nomadic-labs/tezos!510
nomadic-labs/tezos!510
pipelining
Act ZaynahDargaye is assigned
nomadic-labs/tezos!443
nomadic-labs/tezos!443
mempool specification state::in-progress
Reply to thread ZaynahDargaye is the original author
Reply to thread ZaynahDargaye is the original author
Reply to thread ZaynahDargaye is the original author
UnWIP ZaynahDargaye is the original author

Repositories

Mnomadic-labs/mustard

Issue watchers:  No one (no one)

nomadic-labs/tezosnomadic-labs/tezos

Issue watchers:  No one (no one)

tezos/tezostezos/tezos

Dispatchers:   @arvidnlarvidnl (from issue tezos/tezos#1062)
Issue watchers:  No one (from issue tezos/tezos#1061)
Labels:  priority::critical type::incident type::bug priority::high type::flake priority::medium confirmed 👁 alpha α approved arm64 bad UX 🍎 baking bootstrap build system CI ⚙ ci--arm64 ci--docker ci--docs ci--no-coverage ci--opam client 🏧 Code quality 🌟 compiler 🤖 coq-of-ocaml 🐔 crypto DAL dalphanet deps-rework doc 📖 doc-only docker 🐳 dune3 emacs encoding error-handling gas 🚂 good beginner task 🍼 incident javascript ledger light 💡 liquidity-baking lmdb logging lwt ➡️ mainnet-only mandatory marge-priority::high mempool michelson ⚗ minor mockup monad-wrangling monitoring multisig needs help needs testing Nice to have 👶 node 🖥 Not for V1 💫 ode-observability opam opsec 🔐 p2p 🌐 Packaging 📦 performance platform-compatibility priority::low proto proto::Consensus algorithm proto::environment proto::next proto::plugins proxy python 🐍 ready for review party 🎉 release manager 👷 Release Process Crew revert rpc ☎ rust sapling scoru security shell signer simple snoop specification state::blocked state::in-progress state::in-review state::ready-to-merge state::to-do stdlib storage support 💁 team::michelson team::node-tools team::SDK Terraform test ⚒ testnet::idiazabalnet tests::alcotest tests::CI tests::coverage tests::crowbar tests::documentation tests::flextesa tests::performance tests::pytest tests::qcheck tests::suite tests::tezt tickets tooling toru::client toru::daemon 👹 toru::layer1 toru::layer1+2 toru::layer2 toru::storage 🌳 triage::level0 triage::level1 triage::level2 try-reproduce type::benchmark type::discussion type::feature type::meta type::suggestion validation waiting for feedback wasm-pvm:lazy-tree wontfix 🙈 wrapper-shell-script