diff --git a/Jenkinsfile b/Jenkinsfile
index 6df599395d39..0dfa9ed24f49 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -27,6 +27,7 @@ pipeline {
                       sh "make sizes"
                       sh "ccache -s"
                       archiveArtifacts(artifacts: 'build/*/*.px4', fingerprint: true)
+                      archiveArtifacts(artifacts: 'build/*/*.elf', fingerprint: true)
                     }
                   }
                 }
@@ -54,6 +55,7 @@ pipeline {
                     sh "make sizes"
                     sh "ccache -s"
                     archiveArtifacts(artifacts: 'build/*/*.px4', fingerprint: true)
+                    archiveArtifacts(artifacts: 'build/*/*.elf', fingerprint: true)
                   }
                 }
               }
@@ -79,6 +81,7 @@ pipeline {
                       sh "make sizes"
                       sh "ccache -s"
                       archiveArtifacts(artifacts: 'build/*/*.px4', fingerprint: true)
+                      archiveArtifacts(artifacts: 'build/*/*.elf', fingerprint: true)
                     }
                   }
                 }