Updated on 2022-06-10 10:15:24 UTC
refreshed every 30 minutes
@arvidnlarvidnl (4)@rafoo_rafoo_ (2)@yrgyrg (1)

Everybody's actions on tezos/michelson-reference priority::medium (7)

Resource Action Who and why
tezos/michelson-reference#3
Suggestions on semantics and values
priority::medium output reference 		Complete task @arvidnlarvidnl is assigned
tezos/michelson-reference#37
Follow-up from "Re-organization 3/3: Add documentation tests": add contract literals
priority::medium difficulty::easy reference 		Complete task @arvidnlarvidnl is assigned
tezos/michelson-reference#30
Automatic generation from OCaml
priority::medium coherency nice to have 		Solve issue @rafoo_rafoo_ is assigned
tezos/michelson-reference#39
Give more details for the documentation of address comparison
priority::medium difficulty::easy reference 		Solve issue @yrgyrg is assigned
tezos/michelson-reference#59
Restructure the reference
priority::medium difficulty::medium 		Solve issue @arvidnlarvidnl is assigned
tezos/michelson-reference#19
Verify that documented instructions = all instructions
priority::medium coherency difficulty::medium 		Solve issue @arvidnlarvidnl opened issue and no one is assigned
tezos/michelson-reference#45
Check that the Coq output of michelson.ott typechecks
priority::medium ci difficulty::medium test 		Solve issue @rafoo_rafoo_ opened issue and no one is assigned

Repositories

Mtezos/michelson-reference

Dispatchers:   @arvidnlarvidnl @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (from project owners)
Merge‑teamers:   @arvidnlarvidnl @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (copied from dispatchers)
Issue watchers:  No one (no one)
Labels:  priority::high priority::medium priority::low bug build ci coherency difficulty::easy difficulty::medium docker documentation feature integration nice to have ott output reference reference-schema style test