make CI build faster

typo?