Updated on 2022-06-10 10:15:20 UTC
refreshed every 30 minutes
refreshed every 30 minutes
Kewerson Hugo's actions
(8)
| Resource | Action | Why |
|---|---|---|
| nomadic-labs/coq-tezos-of-ocaml#138 Translator simulations 50-59 michelson sprint-3 sprint-4 | Complete task | kewersonhugo is assigned |
| nomadic-labs/coq-tezos-of-ocaml#64 Size function of Michocoq map returns the wrong size michelson | Solve issue | kewersonhugo opened issue and no one is assigned |
| nomadic-labs/coq-tezos-of-ocaml!571 Draft: Add proof for dep_parse_contract_aux_eq and dep_parse_contract_for_script_eq | Close or reply to thread | kewersonhugo is the thread author |
| Reply to thread | kewersonhugo is the original author | |
| Fix CI | kewersonhugo is the original author and triggered last pipeline | |
| UnWIP | kewersonhugo is the original author | |
| nomadic-labs/coq-tezos-of-ocaml!388 Draft: Arith code | Fix CI | kewersonhugo is the original author and triggered last pipeline |
| UnWIP | kewersonhugo is the original author |
Repositories
|
