Archive diff result file repro_diff.out (#737)

Signed-off-by: Sophia Guo <[email protected]>
adoptium · Jun 26, 2023 · 7217406 · 7217406
1 parent d07cc6a
commit 7217406
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/reproduce_comparison/Jenkinsfile b/tools/reproduce_comparison/Jenkinsfile
@@ -141,6 +141,7 @@ pipeline {
                             } else {
                                 echo 'Success: two builds are the same!'
                             }
+                            archiveArtifacts artifacts: "**/repro_diff.out"
                         }
                     } catch (Exception err) {
                         echo err.getMessage()