diff --git a/Jenkinsfile b/Jenkinsfile index 9dadd4c..a3eee42 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,6 +10,7 @@ pipeline { archiveArtifacts 'output.txt' archiveArtifacts 'hypothesis.trn' archiveArtifacts 'reference.trn' + archiveArtifacts 'results.txt' } } }