diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 000000000..14e1c269a --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,10 @@ +pipeline { + stages { + stage("Hello world") { + sh """ + echo 'Hello world' + """ + } + } + +}