From ce11c9094e4e39cb58f718f7bbd6f17bc5418585 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Mon, 4 Dec 2023 06:36:19 -0600
Subject: Remove verbose

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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