Ajouter jenkinsfile

2025-09-07 00:13:35 +02:00
parent e0219ca728
commit 0c1a143dbd
1 changed files with 11 additions and 0 deletions
--- a/11
+++ b/11
@@ -0,0 +1,11 @@
 pipeline {
    agent any
    stages {
        stage('Build') {
            steps {
                sh './build.sh'
            }
        }
    }
 }