https://gitlab.com/tezos/tezos
Revision 5e985515c7d12d865d145768c0ccb829628fb604 authored by Arvid Jakobsson on 24 July 2023, 07:44:19 UTC, committed by Arvid Jakobsson on 24 July 2023, 09:33:56 UTC
1 parent f4ad22f
History
Tip revision: 5e985515c7d12d865d145768c0ccb829628fb604 authored by Arvid Jakobsson on 24 July 2023, 07:44:19 UTC
CI/Tezt: run tests with [-j 2]
Tip revision: 5e98551
File Mode Size
.merlin -rw-r--r-- 63 bytes
JSON_AST.ml -rw-r--r-- 651 bytes
JSON_lexer.mll -rw-r--r-- 814 bytes
JSON_parser.mly -rw-r--r-- 553 bytes
Makefile -rw-r--r-- 1.3 KB
README.md -rw-r--r-- 1.1 KB
main.ml -rw-r--r-- 229.4 KB
main.mli -rw-r--r-- 2.1 KB
manifest.ml -rw-r--r-- 125.3 KB
manifest.mli -rw-r--r-- 47.5 KB
tezos_protocol.ml -rw-r--r-- 1.7 KB

README.md

back to top