Skip to content

Commit

Permalink
Temporarily fix CI for specific platforms issues
Browse files Browse the repository at this point in the history
  • Loading branch information
art-w committed Apr 12, 2024
1 parent 3fb0a99 commit 54b9348
Show file tree
Hide file tree
Showing 3 changed files with 15 additions and 1 deletion.
1 change: 1 addition & 0 deletions .github/workflows/coverage.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ on:
push:
branches:
- main
- eio
pull_request:
schedule:
# Prime the caches every Monday
Expand Down
10 changes: 10 additions & 0 deletions bench.Dockerfile
Original file line number Diff line number Diff line change
@@ -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
5 changes: 4 additions & 1 deletion examples/dune
Original file line number Diff line number Diff line change
Expand Up @@ -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"))
)

0 comments on commit 54b9348

Please sign in to comment.