diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile index d648677..c377731 100644 --- a/.ci/Jenkinsfile +++ b/.ci/Jenkinsfile @@ -12,6 +12,9 @@ pipeline { } steps { sh 'gcc -o hello main.c' + archiveArtifacts artifacts: 'hello', + followSymlinks: false, + onlyIfSuccessful: true } } }