From dd524e1b7cd250f9b29245c570a387fced0967b4 Mon Sep 17 00:00:00 2001
From: WebFreak001 <gh@webfreak.org>
Date: Wed, 22 Mar 2023 02:47:13 +0100
Subject: [PATCH] longer CI tail

---
 ci/summary_comment.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/summary_comment.sh b/ci/summary_comment.sh
index 494ede2..ae8e6f9 100755
--- 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'