diff options
Diffstat (limited to 'Dockerfile')
-rw-r--r-- | Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ RUN sudo apk add --update libev-dev openssl-dev gmp-dev gmp WORKDIR /home/opam ADD . . -RUN dune build -j 1 +RUN opam exec -- dune build -j 1 FROM alpine:3.18.4 as run |