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 | |
parent | 00239ffb1ce9413ab5db71a19bba619b2d4427d0 (diff) | |
download | commando-edce0b5a9b773ea33c0b137e3f216051ea028220.tar.gz commando-edce0b5a9b773ea33c0b137e3f216051ea028220.tar.bz2 commando-edce0b5a9b773ea33c0b137e3f216051ea028220.zip |
action test: setup mill
Diffstat (limited to 'ci')
-rw-r--r-- | ci/test/Dockerfile (renamed from ci/Dockerfile) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/ci/Dockerfile b/ci/test/Dockerfile index 00b7b89..00b7b89 100644 --- a/ci/Dockerfile +++ b/ci/test/Dockerfile |