https://gitlab.com/tezos/tezos
Raw File
Tip revision: 44934fd2b9b0f175b84845f10d73083e5712da9a authored by Marge Bot on 20 February 2024, 13:26:28 UTC
Merge tezos/tezos!12012: RISC-V: Check that Cargo.lock files aren't changed in CI
Tip revision: 44934fd
or_bool-bool_00.tzt
code { OR } ;
input { Stack_elt bool False ; Stack_elt bool False } ;
output { Stack_elt bool False }
back to top