From fefade5c885ae24e42542fd50771c82bc3479d57 Mon Sep 17 00:00:00 2001
From: WebFreak001 <gh@webfreak.org>
Date: Wed, 22 Mar 2023 02:56:16 +0100
Subject: [PATCH] fix CI

---
 ci/summary_comment.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ci/summary_comment.sh b/ci/summary_comment.sh
index df5d70b..ae466e4 100755
--- a/ci/summary_comment.sh
+++ b/ci/summary_comment.sh
@@ -44,10 +44,12 @@ grep -E 'Request processed in .*' stderr.txt | rdmd ../ci/request_time_stats.d
 echo "STAT:"
 
 # now rebuild server with -profile=gc
+cd ..
 rm -rf .dub bin/dcd-server
 dub build --build=profile-gc --config=server --compiler=dmd 2>&1 || echo "DCD BUILD FAILED"
 
-./run_tests.sh --time-server
+cd tests
+./run_tests.sh
 
 echo "STAT:top 5 GC sources in server:"
 if [ ! -f "profilegc.log" ]; then