"coral" for Pixel 4 XL　
"flame" for Pixel 4　
"bonito" for Pixel 3a XL　10.0.0 (QQ1A.191205.011, Dec 2019)
"sargo" for Pixel 3a　10.0.0 (QQ1A.191205.011, Dec 2019)
"crosshatch" for Pixel 3 XL　10.0.0 (QQ1A.191205.008, Dec 2019)
"blueline" for Pixel 3　10.0.0 (QQ1A.191205.008, Dec 2019)
"taimen" for Pixel 2 XL　10.0.0 (QQ1A.191205.008, Dec 2019)
"walleye" for Pixel 2　10.0.0 (QQ1A.191205.008, Dec 2019)
"marlin" for Pixel XL　10.0.0 (QP1A.191005.007.A3, Dec 2019)
"sailfish" for Pixel　10.0.0 (QP1A.191005.007.A3, Dec 2019)
https://developers.google.com/android/images
https://developers.google.com/android/ota

Android Security Bulletin?December 2019
https://source.android.com/security/bulletin/2019-12-01

Pixel Update Bulletin?December 2019
https://source.android.com/security/bulletin/pixel/2019-12-01