From 620217e4b3c168abd20e829aa727a94db2986f4e Mon Sep 17 00:00:00 2001 From: Jose134 Date: Sat, 10 Aug 2024 00:42:22 +0200 Subject: [PATCH] Add placeholder jenkinsfile --- Jenkinsfile | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 Jenkinsfile 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' + } + } + } +}