https://gitlab.com/tezos/tezos
History
Tip revision: ce80cbe88a8ffea8bc7633df5da9e9758bbd3f9f authored by Marge Bot on 08 February 2024, 12:05:00 UTC
Merge tezos/tezos!11890: EVM: fix build setup (Makefile and CI)
Tip revision: ce80cbe
File Mode Size
internal
dune -rw-r--r-- 254 bytes
ppx_irmin.ml -rw-r--r-- 1.0 KB
ppx_irmin.mli -rw-r--r-- 12 bytes

back to top