Skip to main content

Browse the archive

Revision fcdc119ee862094d9175c7dbce81b80d5f0e3cf4 authored by Marge Bot on 28 February 2024, 11:12:39 UTC, committed by Marge Bot on 28 February 2024, 11:12:39 UTC 
Merge tezos/tezos!11985: CI: add manual trigger to `oc.docker:rust-toolchain` to fix the manual docker build jobs in `before_merging` pipelines
 
Co-authored-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>

Approved-by: Romain <romain@nomadic-labs.com>
Approved-by: Thomas Letan <lthms@nomadic-labs.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/11985
2 parent s f83111d + b79b418
Raw File
split_ticket_02.tzt 
code SPLIT_TICKET;
input
  {
    Stack_elt (ticket string) (Pair "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d" "Blue" 42) ;
    Stack_elt (pair nat nat) (Pair 0 42) ;
  } ;
output { Stack_elt (option (pair (ticket string) (ticket string))) None } ;
back to top