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

make CI build faster