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
_extensions
_static
_templates
alpha
api
developer
doc_gen
images
include
introduction
michelson
mumbai
nairobi
protocols
releases
scripts
shell
user
.gitignore -rw-r--r-- 459 bytes
404.html -rw-r--r-- 9.6 KB
CHANGES.rst -rw-r--r-- 106.5 KB
Makefile -rw-r--r-- 8.5 KB
README.rst -rw-r--r-- 15.9 KB
_redirects -rw-r--r-- 4.5 KB
active l--------- 6 bytes
conf.py -rw-r--r-- 7.9 KB
index.rst -rw-r--r-- 9.5 KB
logo.svg -rw-r--r-- 5.6 KB

README.rst

back to top