No August patch for Pixels yet, but at least one carrier is issuing another July update Hopefully things go smoothly for