From ce11c9094e4e39cb58f718f7bbd6f17bc5418585 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 4 Dec 2023 06:36:19 -0600 Subject: Remove verbose --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Dockerfile') diff --git a/Dockerfile b/Dockerfile index a03e5ef..93d745d 100644 --- a/Dockerfile +++ b/Dockerfile @@ -10,7 +10,7 @@ RUN opam install . --deps-only # Build project ADD . . -RUN opam exec -- dune build -j 1 --verbose +RUN opam exec -- dune build -j 1 FROM alpine:3.18.4 as run -- cgit v1.2.3