From e8ba3931d478bee66ffb110821db1d5b370c8f28 Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Sun, 22 Sep 2019 15:12:13 -0400
Subject: Add sample CI dockerfile

---
 ci/Dockerfile | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 ci/Dockerfile

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!"]
-- 
cgit v1.2.3