Tezos Developer Dashboard
nomadic-labs/coq-tezos-of-ocaml
carbonated maps
Updated on
2022-06-10 10:15:34 UTC
refreshed every 30 minutes
emarzion (1)
Everybody's actions on nomadic-labs/coq-tezos-of-ocaml
carbonated maps
(1)
Resource
Action
Who and why
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
Repositories
nomadic-labs/coq-tezos-of-ocaml
Dispatchers
:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(from project owners)
Merge‑teamers
:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(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