diff --git a/Dockerfile b/Dockerfile index deb8187..99b7fd0 100644 --- a/Dockerfile +++ b/Dockerfile @@ -14,7 +14,7 @@ RUN sudo ln -sf /home/opam/.cargo/bin/rustc /usr/bin/rustc WORKDIR /home/opam/src RUN opam repository add opam-repository git+https://github.com/ocaml/opam-repository.git RUN opam update -y -RUN opam install -j $(nproc) dune -y +RUN opam install -j 1 dune -y RUN opam install -j $(nproc) opam-monorepo -y RUN opam repository add dune-universe git+https://github.com/dune-universe/opam-overlays.git RUN opam monorepo pull