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

@raphael-proustRaphaël Proust's actions on nomadic-labs/sapling-verification (2)

Resource Action Why
nomadic-labs/sapling-verification!21
Split Tree module in the F* Spec
FStar IMTs 		Help add merge-team reviewers raphael-proust is a dispatcher
nomadic-labs/sapling-verification!23
F* Sapling Spec: Write a detailed README
IMTs 		Help add merge-team reviewers raphael-proust is a dispatcher

Repositories

snomadic-labs/sapling-verification

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:  Coq FStar High IMTs Low meta-issue OCaml QCheck Release Management Crew state::blocked state::in-progress state::in-review state::ready-to-merge state::to-do tests