are the ppc64le builders healthy?