longer CI tail

2023-03-22 02:47:13 +01:00 · 2023-03-22 02:47:13 +01:00 · dd524e1b7c
parent 2722423a7f
commit dd524e1b7c
1 changed files with 1 additions and 1 deletions
--- a/ci/summary_comment.sh
+++ b/ci/summary_comment.sh
@ -51,6 +51,6 @@ echo "STAT:top 5 GC sources in server:"
 if [ ! -f "profilegc.log" ]; then
 	echo 'Missing profilegc.log file!'
 	echo 'Tail for stderr.txt:'
-	tail stderr.txt
+	tail -n50 stderr.txt
 fi
 head -n6 profilegc.log | sed 's/^/STAT:/g'