diff --git a/Jenkinsfile b/Jenkinsfile
index 4af1eda4..a7dffdc9 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -76,6 +76,11 @@ pipeline {
 					'''
 				}
 			}
+			post {
+				success {
+					archiveArtifacts allowEmptyArchive: false, artifacts: 'bin/*'
+				}
+			}
 		}
 		stage('Test') {
 			when {