aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-04 06:36:19 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-04 06:36:19 -0600
commitce11c9094e4e39cb58f718f7bbd6f17bc5418585 (patch)
tree85e5ec2c0543b5f9d024018214c9c2ff50e87a24
parentebfa52418cfa47fc58afec062ca06709399f7e2f (diff)
downloadwormhole-ce11c9094e4e39cb58f718f7bbd6f17bc5418585.tar.gz
wormhole-ce11c9094e4e39cb58f718f7bbd6f17bc5418585.tar.bz2
wormhole-ce11c9094e4e39cb58f718f7bbd6f17bc5418585.zip
Remove verbose
Diffstat (limited to '')
-rw-r--r--Dockerfile2
1 files changed, 1 insertions, 1 deletions
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