remove Jenkinsfile

2023-03-29 22:21:07 +02:00
1 parent ff10810bc4
commit 3bc4cfcaa4
@@ -1,11 +0,0 @@
 pipeline {
    agent any
    stages {
        stage('Do nothing') {
            steps {
                sh '/bin/true'
            }
        }
    }
 }