debug current-bench

mirage · May 6, 2024 · 0f1ff3f · 0f1ff3f
1 parent 548a179
commit 0f1ff3f
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/bench.Dockerfile b/bench.Dockerfile
@@ -8,4 +8,9 @@ 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
+RUN pwd
+RUN ls
+RUN ls current-bench-data
+RUN ls current-bench-data/mirage
+RUN ls current-bench-data/mirage/irmin
+ENTRYPOINT opam exec -- make bench