make CI build faster
Merge pull request #1507 from PeterDaveHello/patch-1

make CI build faster