Revision d5732bede1640d293cb0115cac8fa882ed161563 authored by Marge Bot on 05 March 2024, 15:35:03 UTC, committed by Marge Bot on 05 March 2024, 15:35:03 UTC
Co-authored-by: Chris Pinnock <chris_pinnock@mac.com>

Approved-by: Killian Delarue <killian.delarue@nomadic-labs.com>
Approved-by: pietro <pietro.abate@nomadic-labs.com>
Approved-by: Boubacar Sall <boubacar@nomadic-labs.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/12197
2 parent s eba0d1c + 9a24e03
History
File Mode Size
dune -rw-r--r-- 52 bytes
gitlab.ml -rw-r--r-- 2.5 KB
gitlab_util.ml -rw-r--r-- 3.4 KB

back to top