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

@emarzionEvan Marzion's actions on nomadic-labs/coq-tezos-of-ocaml (11)

Resource Action Why
nomadic-labs/coq-tezos-of-ocaml!508
Draft: Carbonated maps
Blocking nomadic-labs/coq-tezos-of-ocaml#127 		Reply to thread emarzion is the original author
Reply to thread emarzion is the original author
Reply to thread emarzion is the original author
Reply to thread emarzion is the original author
Reply to thread emarzion is the original author
Reply to thread emarzion is the original author
Reply to thread emarzion is the original author
UnWIP emarzion is the original author
nomadic-labs/coq-tezos-of-ocaml#127
Verify carbonated maps (3/3)
carbonated maps sprint-3 sprint-4
Blocked by nomadic-labs/coq-tezos-of-ocaml!508 		Unblock emarzion is assigned
nomadic-labs/coq-tezos-of-ocaml!326
Draft: Progress dep_step_eq 		Fix CI emarzion pushed recently and triggered last pipeline
UnWIP emarzion pushed recently

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