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