From 259eab335afb5f32118d70ae8f54209bf844291d Mon Sep 17 00:00:00 2001
From: Daniel Savchenko <dsavchenko@carlos.informatik.rwth-aachen.de>
Date: Mon, 24 Mar 2025 13:27:47 +0100
Subject: [PATCH] fix path for report.xml file
---
tests/run_tests.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tests/run_tests.py b/tests/run_tests.py
index f2444d19..02c5392d 100644
--- a/tests/run_tests.py
+++ b/tests/run_tests.py
@@ -194,7 +194,7 @@ if not os.path.exists(os.path.join(os.getcwd(),"report.xml")):
print(dirfiles)
else:
# copy to a more suitable location for pickup as artifact
- shutil.copyfile(os.path.join(os.getcwd(),"report.xml"),os.path.join(os.getcwd(),"../","../","report.xml") )
+ shutil.copyfile(os.path.join(os.getcwd(),"report.xml"),os.path.join(os.getcwd(),"../","report.xml") )
print("-----------------------")
--
GitLab