diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 69194a46cc..01170df28f 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -4,6 +4,7 @@ on: push: branches: - main + - eio pull_request: schedule: # Prime the caches every Monday diff --git a/bench.Dockerfile b/bench.Dockerfile new file mode 100644 index 0000000000..6128f445e3 --- /dev/null +++ b/bench.Dockerfile @@ -0,0 +1,10 @@ +FROM ocaml/opam:debian-ocaml-5.1 +RUN sudo ln -sf /usr/bin/opam-2.1 /usr/bin/opam +WORKDIR bench-dir +RUN sudo chown opam . +COPY *.opam ./ +RUN opam remote add origin https://github.com/ocaml/opam-repository.git && opam update +RUN opam pin -yn --with-version=dev . +RUN opam install -y --deps-only --with-test . +COPY . ./ +RUN make bench diff --git a/examples/dune b/examples/dune index 28f453fd47..828487455d 100644 --- a/examples/dune +++ b/examples/dune @@ -62,4 +62,7 @@ (mdx (files merkle_proofs.md) - (libraries irmin irmin-cli irmin-git.unix ppx_irmin)) + (package irmin-cli) + (libraries irmin irmin-cli irmin-git.unix ppx_irmin) + (enabled_if (<> %{model} "ppc64")) + )