forks
/
DCD
mirror of https://github.com/dlang-community/DCD.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

CI script improvements

This commit is contained in:
WebFreak001 2023-03-22 02:42:59 +01:00
parent 2ff1291b09
commit 2722423a7f
No known key found for this signature in database
GPG Key ID: AEFC88D11109D1AA
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
ci/summary_comment.sh
View File

@ -34,11 +34,11 @@ echo "STAT:rough build time=${build_time}s"
echo "STAT:"
# now rebuild server with -profile=gc
dub build --build=profile-gc --config=server --force 2>&1 || echo "DCD BUILD FAILED"
rm -rf .dub bin/dcd-server
dub build --build=profile-gc --config=server 2>&1 || echo "DCD BUILD FAILED"
cd tests
./run_tests.sh --time-server
sleep 1
echo "STAT:DCD run_tests.sh $(grep -F 'Elapsed (wall clock) time' stderr.txt)"
echo "STAT:DCD run_tests.sh $(grep -F 'Maximum resident set size (kbytes)' stderr.txt)"
@ -47,4 +47,10 @@ echo "STAT:"
grep -E 'Request processed in .*' stderr.txt | rdmd ../ci/request_time_stats.d
echo "STAT:"
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
fi
head -n6 profilegc.log | sed 's/^/STAT:/g'