diff options
| author | Jakob Odersky <jakob@odersky.com> | 2019-09-22 16:00:01 -0400 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2019-09-22 16:15:08 -0400 |
| commit | edce0b5a9b773ea33c0b137e3f216051ea028220 (patch) | |
| tree | ff2b23b9fc97024c502e05edda056ebd3bdccc69 /ci/Dockerfile | |
| parent | 00239ffb1ce9413ab5db71a19bba619b2d4427d0 (diff) | |
| download | commando-edce0b5a9b773ea33c0b137e3f216051ea028220.tar.gz commando-edce0b5a9b773ea33c0b137e3f216051ea028220.tar.bz2 commando-edce0b5a9b773ea33c0b137e3f216051ea028220.zip | |
action test: setup mill
Diffstat (limited to 'ci/Dockerfile')
| -rw-r--r-- | ci/Dockerfile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ci/Dockerfile b/ci/Dockerfile deleted file mode 100644 index 00b7b89..0000000 --- a/ci/Dockerfile +++ /dev/null @@ -1,3 +0,0 @@ -FROM debian:bullseye - -CMD [ "echo", "hello world!"] |