Merge pull request #7703 from heliclei/prb-stats

[jenkins]Tracking lib size for pull request build
Fix Jenins pull request build script