Revision 38142d8e0a28acaee359fb6e2ac05b1d38647b94 authored by Marge Bot on 13 June 2023, 20:15:49 UTC, committed by Marge Bot on 13 June 2023, 20:15:49 UTC
Co-authored-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com>

Approved-by: Tezos Merbocop <merbocop@cryptium.ch>
Approved-by: Nic Volanschi <nic.volanschi@nomadic-labs.com>
Approved-by: Raphaël Cauderlier <raphael.cauderlier@nomadic-labs.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8902
2 parent s 2771373 + 3915f48
History
File Mode Size
basic.ml -rw-r--r-- 3.4 KB
double_bake.ml -rw-r--r-- 6.8 KB
dune -rw-r--r-- 118 bytes
main.ml -rw-r--r-- 2.7 KB
runner_config.ml -rw-r--r-- 3.2 KB

back to top