diff options
| author | Jakob Odersky <jakob@odersky.com> | 2019-09-22 16:42:05 -0400 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2019-09-22 16:47:17 -0400 |
| commit | 14316f206af70fd79994028123498a5b70b3f92f (patch) | |
| tree | 6ef93403705428c4c20150c3eaf60fbb20d4d0b7 /ci | |
| parent | edce0b5a9b773ea33c0b137e3f216051ea028220 (diff) | |
| download | commando-14316f206af70fd79994028123498a5b70b3f92f.tar.gz commando-14316f206af70fd79994028123498a5b70b3f92f.tar.bz2 commando-14316f206af70fd79994028123498a5b70b3f92f.zip | |
Package mill as a container image
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!"] |