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

@TinoAlfieTinoAlfie's actions on nomadic-labs/coq-tezos-of-ocaml (1)

Resource Action Why
nomadic-labs/coq-tezos-of-ocaml#154
Translate test_tx_rollup_l2_encoding.ml
coq-of-ocaml tests
Solve issue TinoAlfie is assigned