Xiaomi Redmi 9 AT

Yup, GSI is the way to go if an official build isn’t available.

Anyway (unofficial) builders are welcome.