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

@clarus1Guillaume Claret's actions on nomadic-labs/mi-cho-coq (7)

Resource Action Why
nomadic-labs/mi-cho-coq!151
Fix #66 and #67
bug test 		Review or approve clarus1 is assigned
nomadic-labs/mi-cho-coq!113
Replace String.string_dec by String.eqb in Dexter 2 		Fix CI clarus1 is the original author and triggered last pipeline
Add a merge-team reviewer clarus1 is the original author
nomadic-labs/mi-cho-coq!57
Integrate the output of coq-of-ocaml with the interpreter
coq-of-ocaml 🐓 		Add a merge-team reviewer clarus1 is the original author
nomadic-labs/mi-cho-coq#3
nomadic-labs/mi-cho-coq#3
coq-of-ocaml 🐓 Doing 		Solve issue clarus1 is assigned
nomadic-labs/mi-cho-coq#64
Types in OCaml and not in Mi-Cho-Coq 		Solve issue clarus1 opened issue and no one is assigned
nomadic-labs/mi-cho-coq!52
WIP: Beginning of import of the evaluation function
coq-of-ocaml 🐓 		UnWIP clarus1 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