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

fix CI

This commit is contained in:
WebFreak001 2023-03-22 02:56:16 +01:00
parent 03f28d895b
commit fefade5c88
No known key found for this signature in database
GPG Key ID: AEFC88D11109D1AA
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ci/summary_comment.sh
View File

@ -44,10 +44,12 @@ grep -E 'Request processed in .*' stderr.txt | rdmd ../ci/request_time_stats.d
echo "STAT:" echo "STAT:"
# now rebuild server with -profile=gc # now rebuild server with -profile=gc
cd ..
rm -rf .dub bin/dcd-server rm -rf .dub bin/dcd-server
dub build --build=profile-gc --config=server --compiler=dmd 2>&1 || echo "DCD BUILD FAILED" 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:" echo "STAT:top 5 GC sources in server:"
if [ ! -f "profilegc.log" ]; then if [ ! -f "profilegc.log" ]; then