add tezt and update irmin (!390) · Merge requests · Tezos / opam-repository · GitLab

This is an archived project. Repository and other project resources are read-only.

Raphaël Proust requested to merge romain-tezt-ext into master Jan 11, 2023

replaces !388 (closed)