summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorarseney300 <arseney300@december.com>2026-02-20 11:19:13 +0000
committerarseney300 <arseney300@december.com>2026-02-20 11:19:13 +0000
commit08857ea1a1ad090b8fca9a620dd809876db9f117 (patch)
treee23ec532fe769c9216d85c0dee8a4bc06a9c83d2
parentaebd7771573d3b61e8660fb732eb869fea3fc763 (diff)
Update Jenkinsfile
-rw-r--r--Jenkinsfile33
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
}
}
}