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

Everybody's actions on tezos/michelson-reference ci (1)

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

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