diff options
Diffstat (limited to 'ci/mill/Dockerfile')
| -rw-r--r-- | ci/mill/Dockerfile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ci/mill/Dockerfile b/ci/mill/Dockerfile new file mode 100644 index 0000000..af1ba37 --- /dev/null +++ b/ci/mill/Dockerfile @@ -0,0 +1,12 @@ +FROM debian:bullseye + +RUN apt-get update && apt-get install --yes \ + curl \ + openjdk-11-jdk \ + && rm -rf /var/lib/apt/lists/* + +RUN curl -L https://github.com/lihaoyi/mill/releases/download/0.5.1/0.5.1 > \ + /usr/local/bin/mill \ + && chmod +x /usr/local/bin/mill + +ENTRYPOINT [ "/usr/local/bin/mill" ] |