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/test/Dockerfile | |
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/test/Dockerfile')
-rw-r--r-- | ci/test/Dockerfile | 3 |
1 files changed, 0 insertions, 3 deletions
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!"] |