add jenkinsfile

2024-05-24 12:21:29 +02:00 · 2024-05-24 12:21:29 +02:00 · 5250869a67
parent 9a5f776d41
commit 5250869a67
1 changed files with 11 additions and 0 deletions
--- a/src/Jenkinsfile
+++ b/src/Jenkinsfile
@ -0,0 +1,11 @@
+pipeline {
+    agent any
+
+    stages {
+        stage('Do nothing') {
+            steps {
+                sh '/bin/true'
+            }
+        }
+    }
+}