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

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

Resource Action Who and why
nomadic-labs/coq-tezos-of-ocaml#129
Remove the warnings from coq-of-ocaml
cleaning
Solve issue @clarus1clarus1 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 @clarus1clarus1 opened issue and no one is assigned