Jenkinsfile: Archive artifacts

2025-01-07 13:25:06 -08:00 · 2025-01-07 13:25:06 -08:00 · 79a4139ade
commit 79a4139ade
parent 445fe859a2
1 changed files with 3 additions and 0 deletions
--- 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
            }
        }
    }