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