https://gitlab.com/tezos/tezos
Raw File
Tip revision: 50ed31be34eec16130bb138dfbfa93ab6e7f83bb authored by Mathias Bourgoin on 28 February 2024, 16:35:16 UTC
weeklytests: add partial generation of daily reports
Tip revision: 50ed31b
join_tickets_00.tzt
code JOIN_TICKETS;
input
  {
    Stack_elt
      (pair (ticket string) (ticket string))
      (Pair
         (Pair "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d" "Blue" 24)
         (Pair "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d" "Blue" 18)
      )
  } ;
output
  {
    Stack_elt
      (option (ticket string))
      (Some (Pair "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d" "Blue" 42))
  } ;
back to top