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

Everybody's actions on nomadic-labs/coq-tezos-of-ocaml sprint-3 (10)

Resource Action Who and why
nomadic-labs/coq-tezos-of-ocaml#138
Translator simulations 50-59
michelson sprint-3 sprint-4
Complete task @kewersonhugokewersonhugo is assigned
nomadic-labs/coq-tezos-of-ocaml#137
Translator simulations 40-49
michelson sprint-3 sprint-4
Complete task @deepmindsterdeepmindster is assigned
nomadic-labs/coq-tezos-of-ocaml#141
Translator simulations 80-89
michelson sprint-3 sprint-4
Complete task @dhilstdhilst is assigned
nomadic-labs/coq-tezos-of-ocaml#117
Define all remaining cases for dep_step
michelson sprint-3 sprint-4
Complete task @clarus1clarus1 is assigned
nomadic-labs/coq-tezos-of-ocaml#139
Translator simulations 60-69
michelson sprint-3 sprint-4
Solve issue @deepmindsterdeepmindster is assigned
nomadic-labs/coq-tezos-of-ocaml#140
Translator simulations 70-79
michelson sprint-3 sprint-4
Solve issue @RektYuanRektYuan is assigned
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
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.offkumar.shubham.off is assigned
nomadic-labs/coq-tezos-of-ocaml#90
Verify `back_path_is_valid` for skip lists
skip-lists sprint-3 sprint-4
Solve issue @clarus1clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#118
Terminate the proof of dep_step_eq
michelson sprint-3 sprint-4
Solve issue @clarus1clarus1 opened issue and no one is assigned