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

make CI build faster