diff options
author | Jakob Odersky <jakob@odersky.com> | 2019-09-22 15:12:13 -0400 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2019-09-22 15:12:13 -0400 |
commit | e8ba3931d478bee66ffb110821db1d5b370c8f28 (patch) | |
tree | 25a27190013f95e3ad9cec27cb0cc721c29c4265 | |
parent | 9c20940bc8a2fb352cb0468b9d84994aae83f9f2 (diff) | |
download | commando-e8ba3931d478bee66ffb110821db1d5b370c8f28.tar.gz commando-e8ba3931d478bee66ffb110821db1d5b370c8f28.tar.bz2 commando-e8ba3931d478bee66ffb110821db1d5b370c8f28.zip |
Add sample CI dockerfile
-rw-r--r-- | ci/Dockerfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ci/Dockerfile b/ci/Dockerfile new file mode 100644 index 0000000..00b7b89 --- /dev/null +++ b/ci/Dockerfile @@ -0,0 +1,3 @@ +FROM debian:bullseye + +CMD [ "echo", "hello world!"] |