diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 169a52f3..90c38d1c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -157,9 +157,6 @@ pipeline { # Configure the ISO ./configure --build-by="autobuild@vyos.net" --debian-mirror="http://ftp.us.debian.org/debian/" - # Debug to see which Debian packages we have so far - ls -al packages/*.deb - # Finally build our ISO sudo make iso ''' @@ -168,6 +165,12 @@ pipeline { } post { + always { + archiveArtifacts artifacts: 'build/build.log', fingerprint: true + } + success { + archiveArtifacts artifacts: 'build/vyos*.iso', fingerprint: true + } cleanup { echo 'One way or another, I have finished' // the 'build' directory got elevated permissions during the build |