From e70e4ddf94b5cfda3f718aa09236174655d29616 Mon Sep 17 00:00:00 2001 From: ArthurW Date: Mon, 6 May 2024 19:38:32 +0200 Subject: [PATCH] debug current-bench --- bench.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bench.Dockerfile b/bench.Dockerfile index c6ce6112ee..f1402d83a5 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 ls && ls current-bench-data && opam exec -- make bench