Resource | Action | Why |
---|---|---|
nomadic-labs/coq-tezos-of-ocaml!504 Draft: dep_merge_branches_eq Simulations 20-29 Blocking nomadic-labs/coq-tezos-of-ocaml#135 | Fix CI | deepmindster triggered last pipeline |
nomadic-labs/coq-tezos-of-ocaml!510 MR for saturation fuzzing proofs help | Close or reply to thread | deepmindster is the thread author |
Close or reply to thread | deepmindster is the thread author | |
nomadic-labs/coq-tezos-of-ocaml#137 Translator simulations 40-49 michelson sprint-3 sprint-4 | Complete task | deepmindster is assigned |
nomadic-labs/coq-tezos-of-ocaml#139 Translator simulations 60-69 michelson sprint-3 sprint-4 | Solve issue | deepmindster is assigned |
nomadic-labs/coq-tezos-of-ocaml#42 ocaml 4.13 | Solve issue | deepmindster opened issue and no one is assigned |
nomadic-labs/coq-tezos-of-ocaml!291 Draft: 96-parse-unparse-comparable_data | Close or reply to thread | deepmindster is the thread author |
Close or reply to thread | deepmindster is the thread author | |
Fix CI | deepmindster is the original author and triggered last pipeline | |
UnWIP | deepmindster is the original author | |
nomadic-labs/coq-tezos-of-ocaml!250 Draft: -- not for comments yet -- | Fix CI | deepmindster is the original author and triggered last pipeline |
UnWIP | deepmindster is the original author |
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)
|