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

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 @emarzionemarzion is assigned