Add placeholder jenkinsfile

2024-08-10 00:42:22 +02:00 · 2024-08-10 00:42:22 +02:00 · 620217e4b3
commit 620217e4b3
parent 203d43051d
1 changed files with 11 additions and 0 deletions
--- a/11
+++ b/11
@ -0,0 +1,11 @@
 pipeline {
    agent any
    stages {
        stage('Do nothing') {
            steps {
                sh '/bin/true'
            }
        }
    }
 }