Resource | Action | Who and why |
---|---|---|
nomadic-labs/coq-tezos-of-ocaml#129 Remove the warnings from coq-of-ocaml cleaning | Solve issue |
![]() |
nomadic-labs/coq-tezos-of-ocaml#165 Have lint rule to forbid trailing spaces cleaning coq-of-ocaml | Solve issue |
![]() |
|