chore(ci)_: archive logs in case of test failure

2024-06-14 13:03:51 +02:00 · 2024-06-14 13:03:51 +02:00 · e9882e88d3
parent 7b38a5b6bd
commit e9882e88d3
1 changed files with 6 additions and 1 deletions
--- a/_assets/ci/Jenkinsfile.tests
+++ b/_assets/ci/Jenkinsfile.tests
@ -175,7 +175,12 @@ pipeline {
      }
    }
    success { script { github.notifyPR(true) } }
-    failure { script { github.notifyPR(false) } }
+    failure { 
+      script { 
+        github.notifyPR(false) 
+        archiveArtifacts('**/test_*.log')
+      }
+    }
    cleanup {
      dir(env.TMPDIR) { deleteDir() }
      sh "make git-clean"