https://gitlab.com/tezos/tezos
Revision b62bcb7f16fca57ff5d4bdbff3008701f5938d49 authored by Marge Bot on 10 May 2023, 14:22:47 UTC, committed by Marge Bot on 10 May 2023, 14:22:47 UTC
Co-authored-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com>

Approved-by: Thomas Letan <lthms@nomadic-labs.com>
Approved-by: Pierre-Emmanuel CORNILLEAU <pe.cornilleau@marigold.dev>
Approved-by: Rodi-Can Bozman <rodi.bozman@functori.com>
Approved-by: Emma Turner <1623821-emturner@users.noreply.gitlab.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8683
2 parent s 7fab406 + ce4cb11
History
Tip revision: b62bcb7f16fca57ff5d4bdbff3008701f5938d49 authored by Marge Bot on 10 May 2023, 14:22:47 UTC
Merge tezos/tezos!8683: Kernels: use rule build instead of all
Tip revision: b62bcb7
File Mode Size
ISSUE_TEMPLATE.md l--------- 36 bytes
README.md -rw-r--r-- 303 bytes

README.md

back to top