diff --git a/bench.Dockerfile b/bench.Dockerfile index c6ce6112ee..1245344c24 100644 --- a/bench.Dockerfile +++ b/bench.Dockerfile @@ -8,4 +8,4 @@ RUN opam remote add origin https://github.com/ocaml/opam-repository.git && opam RUN opam pin -yn --with-version=dev . RUN opam install -y --deps-only --with-test . COPY . ./ -RUN opam exec -- make bench +ENTRYPOINT opam exec -- make bench