Resource | Action | Why |
---|---|---|
nomadic-labs/coq-tezos-of-ocaml!510 MR for saturation fuzzing proofs help | Reply to thread | jorisptrs is the original author |
Fix CI | jorisptrs is the original author and triggered last pipeline | |
Add a merge-team reviewer | jorisptrs 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)
|