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

@kumar.shubham.offShubham Kumar's actions on nomadic-labs/coq-tezos-of-ocaml (5)

Resource Action Why
nomadic-labs/coq-tezos-of-ocaml#135
Translator simulations 20-29
michelson sprint-3 sprint-4
Blocked by nomadic-labs/coq-tezos-of-ocaml!504 		Unblock kumar.shubham.off is assigned
nomadic-labs/coq-tezos-of-ocaml!483
Draft: Sc_rollup_inbox_proof_encodings 		Reply to thread kumar.shubham.off is the original author
Reply to thread kumar.shubham.off is the original author
Fix CI kumar.shubham.off is the original author
UnWIP kumar.shubham.off is the original author

Repositories

nomadic-labs/coq-tezos-of-ocamlnomadic-labs/coq-tezos-of-ocaml

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:  carbonated maps cleaning compare coq-of-ocaml data-encoding doing internal errors michelson protocol-proof Release Management Crew skip-lists sprint-2 sprint-3 sprint-4 state::blocked state::in-progress state::in-review state::ready-to-merge state::to-do storage tests