diff options
| author | arseney300 <arseney300@december.com> | 2026-02-20 11:32:21 +0000 |
|---|---|---|
| committer | arseney300 <arseney300@december.com> | 2026-02-20 11:32:21 +0000 |
| commit | 0a24644667a5106834631a35857c08a7c78b6264 (patch) | |
| tree | a5d02b8d5e5b8ed1e503dc7581ec46b4a8d2addf | |
| parent | 08857ea1a1ad090b8fca9a620dd809876db9f117 (diff) | |
Update Jenkinsfile
| -rw-r--r-- | Jenkinsfile | 18 |
1 files changed, 2 insertions, 16 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 15593b4ccd5e..421ba8111c25 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,4 @@ - pipeline { + pipeline { agent { docker { image 'kernel-builder' } } @@ -8,19 +8,6 @@ } stages { - 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' @@ -33,5 +20,4 @@ archiveArtifacts artifacts: 'arch/x86/boot/bzImage', fingerprint: true } } - } - } + } |
