Build bots automatically build the rom for listed devices. They just have to be set up once. It doesn't mean that rom is being actively maintained for a device. You can check the device trees which are quite out dated.
#include <std_disclaimer.h> /* * Your warranty is void. * * I am not responsible for bricked devices, dead SD cards, * thermonuclear war, or you getting fired because the alarm app failed. Please * do some research if you have any concerns about features included in this ROM * before flashing it! YOU are choosing to make these modifications, and if * you point the finger at me for messing up your device, I will laugh at you. */