Random ideas Enforce variant naming: RawData -> Raw_data Enforce TODO/FIXME correctness Functor hygien: a type that does not depend on the argument of a functor should not be part of said functor Copyright headers stays up to date

First, get the commit of your merge request and the latest merge: $ git log master commit 71aeefba399a9c5a97b94b0fb0426638186dba93 (tezos/master, master) Merge: a345523ba3 89b042aa12 Author: Marge Bot <marge-bot@nomadic-labs.com> Date: Mon Dec 12 14:24:12 2022 +0000 Merge tezos/tezos!7109: Scoru,Proto: removes redundant [level_proof] field

Messages En utilisant les limites de mainnet: let test_inbox_max_number_of_messages_per_level () = let* block, (account1, account2) = context_init ~hard_gas_limit_per_block:Gas.Arith.(integral_of_int_exn 2_600_000) ~hard_gas_limit_per_operation:Gas.Arith.(integral_of_int_exn 1_040_000) Context.T2 in