https://gitlab.com/tezos/tezos
Revision 5476dbf6dede8e10770a4e4eac016b0a7c14dde5 authored by Marge Bot on 29 February 2024, 09:37:45 UTC, committed by Marge Bot on 29 February 2024, 09:37:45 UTC
Co-authored-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>

Approved-by: Romain <romain@nomadic-labs.com>
Approved-by: Philippe Wang <philippe.wang@gmail.com>
Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/11500
2 parent s cfa7c88 + 5697605
History
Tip revision: 5476dbf6dede8e10770a4e4eac016b0a7c14dde5 authored by Marge Bot on 29 February 2024, 09:37:45 UTC
Merge tezos/tezos!11500: CI-in-OCaml: [*release_tag(test)] pipelines
Tip revision: 5476dbf

back to top