Everybody's actions on tezos/michelson-reference difficulty::medium (8)

Resource	Action	Who and why
tezos/michelson-reference#58 Make sure michelson reference is up-to-date with latest version of the static documentation priority::high coherency difficulty::medium reference	Solve issue	arvidnl is assigned
tezos/michelson-reference#59 Restructure the reference priority::medium difficulty::medium	Solve issue	arvidnl is assigned
tezos/michelson-reference#19 Verify that documented instructions = all instructions priority::medium coherency difficulty::medium	Solve issue	arvidnl 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_ opened issue and no one is assigned
tezos/michelson-reference#47 Some follow-ups from Edo update priority::low difficulty::medium documentation output reference	Complete task	arvidnl is assigned
tezos/michelson-reference#52 Add examples from TZT suite priority::low difficulty::medium output test	Solve issue	arvidnl is assigned
tezos/michelson-reference#51 Descriptions of predicates over types are incomplete priority::low difficulty::medium output test	Solve issue	yrg opened issue and no one is assigned
tezos/michelson-reference#63 Move the enumeration and description of type attributes to the meta data file priority::low difficulty::medium output reference reference-schema	Solve issue	arvidnl opened issue and no one is assigned

Repositories