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