diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 06:36:19 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 06:36:19 -0600 |
| commit | ce11c9094e4e39cb58f718f7bbd6f17bc5418585 (patch) | |
| tree | 85e5ec2c0543b5f9d024018214c9c2ff50e87a24 | |
| parent | ebfa52418cfa47fc58afec062ca06709399f7e2f (diff) | |
| download | wormhole-ce11c9094e4e39cb58f718f7bbd6f17bc5418585.tar.gz wormhole-ce11c9094e4e39cb58f718f7bbd6f17bc5418585.tar.bz2 wormhole-ce11c9094e4e39cb58f718f7bbd6f17bc5418585.zip | |
Remove verbose
| -rw-r--r-- | Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |