From f86212c5a31f48fec55b3bf3b35f3e5c42d8b957 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Wed, 31 Dec 2025 07:53:37 +0800
Subject: [PATCH] run-nightly.sh: echo blank line after run

---
 automated/run-nightly.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/automated/run-nightly.sh b/automated/run-nightly.sh
index ff364718..ca00505c 100755
--- a/automated/run-nightly.sh
+++ b/automated/run-nightly.sh
@@ -9,10 +9,11 @@ esac
 
 while true; do
     git pull
-    ./build.sh nightly-$(date -u +%F) $cmd
+    time ./build.sh nightly-$(date -u +%F) $cmd
     ${cmd:+exit 0}
     ${once:+date; exit 0}
     echo "$0: run completed at $(date)"
+    echo
     sleep 60m
     echo
 done