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

@tudoroscoiuTudor Roșcoiu's actions on nomadic-labs/coq-tezos-of-ocaml (2)

Resource Action Why
nomadic-labs/coq-tezos-of-ocaml#198
Tez: Verify test_coherent_mul_proof
tests
Solve issue tudoroscoiu is assigned
nomadic-labs/coq-tezos-of-ocaml#199
Tez: Verify test_coherent_div_proof
tests
Solve issue tudoroscoiu is assigned