From b184799688942c2bedde8a289d89cebfef6557cf Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Fri, 28 May 2021 20:18:08 +0200
Subject: [PATCH] simple jenkinsfile

---
 Jenkinsfile | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 00000000..788a435a
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,10 @@
+pipeline {
+    agent { docker { image 'alpine:latest' } }
+    stages {
+        stage('build') {
+            steps {
+                sh 'echo Hello World'
+            }
+        }
+    }
+}
\ No newline at end of file