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