Revision 5d30790b773eb5ed77ba4b29b6b3850de476d22e authored by Marge Bot on 03 April 2024, 17:02:19 UTC, committed by Marge Bot on 03 April 2024, 17:02:19 UTC
Co-authored-by: Emma Turner <emma.turner@trili.tech>

Approved-by: Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>
Approved-by: Ole Krüger <ole.kruger@trili.tech>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/12694
2 parent s e8364cd + 2bdf8b8
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