https://gitlab.com/tezos/tezos
Raw File
Tip revision: 0d41817b41bcac2d67485ff6b876dcd5158351f4 authored by Arvid Jakobsson on 10 January 2024, 14:58:49 UTC
CI: document job filename policy
Tip revision: 0d41817
compare_timestamp_02.tzt
code { COMPARE } ;
input { Stack_elt timestamp "2" ; Stack_elt timestamp "1" } ;
output { Stack_elt int 1 }
back to top