diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/mill/Dockerfile | 12 | ||||
| -rw-r--r-- | ci/test/Dockerfile | 3 |
2 files changed, 12 insertions, 3 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" ] diff --git a/ci/test/Dockerfile b/ci/test/Dockerfile deleted file mode 100644 index 00b7b89..0000000 --- a/ci/test/Dockerfile +++ /dev/null @@ -1,3 +0,0 @@ -FROM debian:bullseye - -CMD [ "echo", "hello world!"] |