diff options
| -rw-r--r-- | Jenkinsfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 421ba8111c25..f81b18c234b9 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -20,4 +20,5 @@ archiveArtifacts artifacts: 'arch/x86/boot/bzImage', fingerprint: true } } - } + } + } |
