sync

commit eb697adb11ee97a5b42413ce7154021ec222a564
parent 6dc6994ac5a68d183b2a856cfe7768f6f563edcc
Author: Christian Grothoff <christian@grothoff.org>
Date:   Sun, 18 Feb 2024 16:25:07 +0100

dump logs

Diffstat:
M
contrib/ci/jobs/2-test/test.sh
 | 
5
+++++

1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/contrib/ci/jobs/2-test/test.sh b/contrib/ci/jobs/2-test/test.sh
@@ -31,6 +31,11 @@ print_logs()
 			echo "Printing ${FAILURE}.log"
 			cat "$(dirname $i)/${FAILURE}.log"
 		done
+        done
+	for LOGFILE in src/testing/*.log
+	do
+	    echo "Printing ${LOGFILE}"
+	    cat "${FAILURE}"
 	done
 }