-
mi-cho-coq!33updated
-
mi-cho-coq!32
-
mi-cho-coq!31
-
-
-
mezos!1
- Closed
updated -
-
mi-cho-coq!27
- Merged
- 3
- Approved
updated -
mi-cho-coq!26
- Merged
- 2
updated -
mi-cho-coq!25 self_in_originationupdated
-
-
mi-cho-coq!23
- Merged
- Approved
updated -
mi-cho-coq!22
- Merged
- 4
- Approved
updated -
mi-cho-coq!21
- Merged
- 7
updated -
mi-cho-coq!20
-
tezos-lang-server!5
- Merged
- Approved
updated -
try-michelson!10
- Merged
- Approved
updated -
tezos-lang-server!3
- Closed
- 0 of 1 Approvals
updated