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

@asaueAurélien Saue's actions on nomadic-labs/mi-cho-coq (5)

Resource Action Why
nomadic-labs/mi-cho-coq!152
[README] fix broken link to Michelson spec 		Fix CI asaue is the original author and triggered last pipeline
Add a merge-team reviewer asaue is the original author
nomadic-labs/mi-cho-coq!153
Draft: Formalize the FA2 specification and verify implementations 		Close or reply to thread asaue is the thread author
Close or reply to thread asaue is the thread author
UnWIP asaue pushed recently

Repositories

Mnomadic-labs/mi-cho-coq

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:  beginner bug build ci coq-of-ocaml 🐓 dexter2 doc documentation Doing Done formalisation framework gas mergable optimizer ott performance proto proposal Release Management Crew smart-contract verification state::blocked state::in-progress state::in-review state::ready-to-merge state::to-do test Todo wp