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

Everybody's actions on tezos/michelson-reference test (3)

Resource Action Who and why
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
tezos/michelson-reference#52
Add examples from TZT suite
priority::low difficulty::medium output test 		Solve issue @arvidnlarvidnl is assigned
tezos/michelson-reference#51
Descriptions of predicates over types are incomplete
priority::low difficulty::medium output test 		Solve issue @yrgyrg 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