Resource | Action | Why |
---|---|---|
nomadic-labs/coq-tezos-of-ocaml!560 encoding Blocking nomadic-labs/coq-tezos-of-ocaml#102 nomadic-labs/coq-tezos-of-ocaml#101 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!510 MR for saturation fuzzing proofs help | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!528 Added proof for substr_l_eq | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!548 More simulation cases for the interpreter michelson | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!563 Added simulation for dep_big_map_get_by_hash | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!568 Added proofs for index_opt_eq and substr_l_eq | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!569 Michelson : Add proof for dep_parse_instr_eq | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
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)
|