Skip to main content

Browse the archive

Revision 89d5a48543c9960d9c77da1bfe7be4d8eac9b854 authored by Marge Bot on 17 January 2024, 13:34:34 UTC, committed by Marge Bot on 17 January 2024, 13:34:34 UTC 
Merge tezos/tezos!11463: RISC-V: Sandbox inbox ticket support
 
Co-authored-by: Ole Krüger <ole.kruger@trili.tech>

Approved-by: Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>
Approved-by: Felix Puscasu <felix.puscasu@trili.tech>
Approved-by: Emma Turner <1623821-emturner@users.noreply.gitlab.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/11463
2 parent s 1dc8942 + 55742f3
Raw File
contract_03.tzt 
code { CONTRACT unit } ;
input { Stack_elt address "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d" } ;
output { Stack_elt (option (contract unit)) (Some "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d") } ;
other_contracts { Contract "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d" unit ;
                  Contract "KT1QuofAgnsWffHzLA7D78rxytJruGHDe7XG" unit }
back to top