Revision d9ecf96450ae60c79cfe2dd5b5773585e2e64cb5 authored by Marge Bot on 06 February 2024, 07:59:16 UTC, committed by Marge Bot on 06 February 2024, 07:59:16 UTC
Co-authored-by: Mehdi Bouaziz <mehdi.bouaziz@nomadic-labs.com>

Approved-by: Lucas Randazzo <lucas.randazzo@nomadic-labs.com>
Approved-by: Paul Laforgue <paul.laforgue@nomadic-labs.com>
Approved-by: Zay Dargaye <zaynah.dargaye@nomadic-labs.com>
Approved-by: Julien <julien.tesson@nomadic-labs.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/11374
2 parent s 6ac8e79 + 6dedee7
History
File Mode Size
ppx
runtime
.ocamlformat -rw-r--r-- 388 bytes
dune-project -rw-r--r-- 530 bytes
tezos-time-measurement.opam -rw-r--r-- 663 bytes

back to top