Skip to content

Commit

Permalink
Temporarily disable 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 df42a70
Show file tree
Hide file tree
Showing 6 changed files with 25 additions and 4 deletions.
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")))
3 changes: 2 additions & 1 deletion src/libirmin/lib/dune
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,8 @@
(language c)
(names irmin))
(flags
(:standard -w -unused-var-strict -ccopt "-Wl,-znow")))
(:standard -w -unused-var-strict -ccopt "-Wl,-znow"))
(enabled_if (<> %{ocaml_version} 5.2.0~alpha1)))

(install
(package libirmin)
Expand Down
5 changes: 4 additions & 1 deletion test/irmin-client/dune
Original file line number Diff line number Diff line change
Expand Up @@ -8,4 +8,7 @@
websocket-lwt-unix
conduit-lwt-unix
irmin-test
irmin-watcher))
irmin-watcher)
; TODO: fix unix EMFILE error
(enabled_if
(<> %{system} macosx)))
5 changes: 4 additions & 1 deletion test/irmin-pack/dune
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,10 @@
;; Attached to `irmin-tezos` to avoid a cyclic dependency with `irmin-pack`
(package irmin-tezos)
(action
(run ./test.exe -q --color=always)))
(run ./test.exe -q --color=always))
; TODO: Fix unix waitpid error in irmin-pack GC
(enabled_if
(<> %{system} macosx)))

(library
(name common)
Expand Down

0 comments on commit df42a70

Please sign in to comment.