Re: CI failure related to setting up PK12?