From d597cece850015ed6a0813856c00038625174906 Mon Sep 17 00:00:00 2001
From: Michal Nasiadka <mnasiadka@gmail.com>
Date: Fri, 24 Jan 2020 09:58:25 +0100
Subject: [PATCH] CI: Add timestamps to Docker container logs

Change-Id: Ie5111b898da980d63e9d90003f823172e7a78bc2
---
 tests/get_logs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/get_logs.sh b/tests/get_logs.sh
index fcba0c502..5353877d5 100644
--- a/tests/get_logs.sh
+++ b/tests/get_logs.sh
@@ -109,7 +109,7 @@ copy_logs() {
     fi
 
     for container in $(docker ps -a --format "{{.Names}}"); do
-        docker logs --tail all ${container} &> ${LOG_DIR}/docker_logs/${container}.txt
+        docker logs --timestamps --tail all ${container} &> ${LOG_DIR}/docker_logs/${container}.txt
     done
 
     # Rename files to .txt; this is so that when displayed via
-- 
GitLab