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 |
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)
|