From f0cdafe8c9629c724496f878793d5868383da565 Mon Sep 17 00:00:00 2001
From: falk <falk.ba@gmx.de>
Date: Tue, 12 May 2020 21:24:48 +0200
Subject: [PATCH] add jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..cc4c8cd
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,11 @@
+pipeline {
+    agent any
+
+    stages {
+        stage('Do nothing') {
+            steps {
+                sh '/bin/true'
+            }
+        }
+    }
+}
\ No newline at end of file
-- 
2.49.1