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

@RektYuanRex Yuan's actions (8)

Resource Action Why
nomadic-labs/coq-tezos-of-ocaml!563
Added simulation for dep_big_map_get_by_hash 		Reply to thread RektYuan is the original author
Add a merge-team reviewer RektYuan is the original author
nomadic-labs/coq-tezos-of-ocaml!568
Added proofs for index_opt_eq and substr_l_eq 		Reply to thread RektYuan is the original author
Add a merge-team reviewer RektYuan is the original author
nomadic-labs/coq-tezos-of-ocaml!528
Added proof for substr_l_eq 		Reply to thread RektYuan is the original author
Fix CI RektYuan is the original author and triggered last pipeline
Add a merge-team reviewer RektYuan is the original author
nomadic-labs/coq-tezos-of-ocaml#140
Translator simulations 70-79
michelson sprint-3 sprint-4 		Solve issue RektYuan is assigned

Repositories

nomadic-labs/coq-tezos-of-ocamlnomadic-labs/coq-tezos-of-ocaml

Dispatchers:   @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol (from project owners)
Merge‑teamers:   @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol (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