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

@yrgYann Regis-Gianas' actions on nomadic-labs/mi-cho-coq (5)

Resource Action Why
nomadic-labs/mi-cho-coq#57
Generate and publish HTML documentation
beginner build ci 		Solve issue yrg is assigned
nomadic-labs/mi-cho-coq#56
Adapt Dexter2 development for liquidity baking
dexter2 smart-contract verification
Blocked by nomadic-labs/mi-cho-coq#47 		Unblock yrg is assigned
nomadic-labs/mi-cho-coq!103
WIP: Optimize Michelson lexical analysis
dexter2 		Reply to thread yrg is the original author
Reply to thread yrg is the original author
UnWIP yrg is the original author

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