The buildbots are the official project, the PS3 versions were never listed at that URL
The official ps3 version (& xbox) version was always on xbins (not libretro.com)
https://xbins.org/libretro/
then later decided after v1.9.0 by the official team they would drop support until OpenSDK ports were made on those console's.
There has been no official word from the libretro team, last i spoke to them (very long time ago) they were waiting for the community to produce the port and they would support it, but it had to be the community.
The bottleneck is psl1ght is not progressed enough to make a comparable port to the original.
Last major progress was
@OsirisX
https://www.psx-place.com/threads/retroarch-psl1ght-progress.36858/