https://gitlab.com/tezos/tezos
Raw File
Tip revision: 655628b991b2f19721e7c970a360302b5bd1174f authored by Arvid Jakobsson on 13 February 2024, 10:15:23 UTC
wip [ci/update_records/update.ml] handle new names
Tip revision: 655628b
gt_02.tzt
code { GT } ;
input { Stack_elt int 0 } ;
output { Stack_elt bool False } ;
back to top