From 8a991dd6380ef659343ad37aa20d6df959c7c768 Mon Sep 17 00:00:00 2001
From: Ed <ed@xmos.com>
Date: Fri, 19 Apr 2024 10:57:49 +0100
Subject: [PATCH] Debug copy_tree error

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6615467d..79266956 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -40,8 +40,8 @@ pipeline {
                     }
                   }
                 }
-                // Temp debug
-                archiveArtifacts artifacts: "${REPO}/**/*.pdf", fingerprint: true, allowEmptyArchive: true
+                // Temp debug used by test_tx
+                archiveArtifacts artifacts: "${REPO}/tests/*.txt", fingerprint: true, allowEmptyArchive: true
               }
             }
             stage('Unity tests') {