Updated on 2022-06-10 10:15:34 UTC
refreshed every 30 minutes

Everybody's actions on nomadic-labs/coq-tezos-of-ocaml coq-of-ocaml (10)

Resource	Action	Who and why
nomadic-labs/coq-tezos-of-ocaml#154 Translate test_tx_rollup_l2_encoding.ml coq-of-ocaml tests	Solve issue	TinoAlfie is assigned
nomadic-labs/coq-tezos-of-ocaml#160 Improve the translation of asserts coq-of-ocaml internal errors	Complete task	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#65 Translate the data-encoding library to Coq coq-of-ocaml data-encoding	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#66 Represent the effects of the data-encoding library coq-of-ocaml data-encoding	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#150 Translate test_gas_properties.ml coq-of-ocaml tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#151 Translate test_merkle_list.ml coq-of-ocaml tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#152 Translate test_sampler.ml coq-of-ocaml tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#153 Translate test_script_comparison.ml coq-of-ocaml tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#159 Remove one patch.rb item coq-of-ocaml	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#165 Have lint rule to forbid trailing spaces cleaning coq-of-ocaml	Solve issue	clarus1 opened issue and no one is assigned