https://gitlab.com/tezos/tezos
History
Tip revision: 99538960de358aee9770c22eed807a7ba0d2cbfb authored by Danny Willems on 26 November 2020, 12:52:54 UTC
CI: add make in integration_python_definition for local gitlab-runner
Tip revision: 9953896
File Mode Size
.ocamlformat -rw-r--r-- 284 bytes
dune -rw-r--r-- 735 bytes
dune-project -rw-r--r-- 79 bytes
registered_protocol.ml -rw-r--r-- 6.2 KB
registered_protocol.mli -rw-r--r-- 3.4 KB
tezos-protocol-updater.opam -rw-r--r-- 627 bytes
updater.ml -rw-r--r-- 3.9 KB
updater.mli -rw-r--r-- 2.0 KB
updater_logging.ml -rw-r--r-- 2.0 KB
updater_logging.mli -rw-r--r-- 1.9 KB

back to top