Just got me a #pixel3a - used, cheap and in surprisingly good condition. The updater of the stock rom tells me that the device is EOL - and indeed, according to endoflife.date/pixel it was EOLed over two years ago, despite being released only some 5/6 years ago. The kernel version starts with 4.x.
Well, tomorrow pre-build #postmarketos images should appear on postmarketos.org/install/, the next weekly should have it promoted from "testing" to "community" and the kernel is at 6.10.x.