From 407ffe036a7843e9be59a5e43c5fe98310ded5cf Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 29 Aug 2023 09:24:57 -0400 Subject: [PATCH] fix --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 5ed6cda0..accf5551 100644 --- a/Dockerfile +++ b/Dockerfile @@ -7,4 +7,4 @@ COPY src src COPY test test RUN eval `opam env` && opam install . --deps-only -t RUN eval `opam env` && dune build @install -RUN eval `opam env` && dune @runtest +RUN eval `opam env` && dune runtest