diff options
| -rw-r--r-- | Jenkinsfile | 33 |
1 files changed, 30 insertions, 3 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 5084ed76cbd7..15593b4ccd5e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,9 +1,36 @@ pipeline { - agent any + agent { + docker { image 'kernel-builder' } + } + + options { + timeout(time: 4, unit: 'HOURS') + } + stages { - stage('Test') { + stage('Checkout') { + steps { + checkout([ + $class: 'GitSCM', + branches: [[name: '*/master']], + extensions: [ + [$class: 'CloneOption', timeout: 120, shallow: true, depth: 1] + ], + userRemoteConfigs: [[url: 'git://git-server/linux.git']] + ]) + } + } + + stage('Build') { + steps { + sh 'make defconfig' + sh 'make -j$(nproc)' + } + } + + stage('Archive') { steps { - sh 'echo "Hello from Jenkins"' + archiveArtifacts artifacts: 'arch/x86/boot/bzImage', fingerprint: true } } } |
