Android security patches May 2020 is out for Pixel devices

Google has not listed any functional patches for Pixel devices this month.