summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorarseney300 <arseney300@december.com>2026-02-20 11:32:21 +0000
committerarseney300 <arseney300@december.com>2026-02-20 11:32:21 +0000
commit0a24644667a5106834631a35857c08a7c78b6264 (patch)
treea5d02b8d5e5b8ed1e503dc7581ec46b4a8d2addf
parent08857ea1a1ad090b8fca9a620dd809876db9f117 (diff)
Update Jenkinsfile
-rw-r--r--Jenkinsfile18
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
}
}
- }
- }
+ }