It may not be July 1st, but today is the first Monday of the month, and that means one thing: Google is ready to send out a new batch of monthly security patches to its still supported Pixels. This time around there's no feature drop like last month, so all you're getting are security fixes - but hey, those are important too, so your phone isn't exposed to nasty vulnerabilities. As usual with Google rollouts, it may be a few days (or even weeks) before all supported Pixel units out there get the update, but it is finally on the way. The build number for all devices is...
Source: https://www.gsmarena.com/googles_pixels_and_samsungs_s20_family_get_july_security_patches-news-44128.php