Sedum Rupestre Angelina

I was walking back home from an essential errand on Dec 21/20 and noticed a huge patch of bright succulents in front of a closed military museum. A large floral area at the front was planted and is maintained in the summer by a gardening society group, this particular plant was a great choice since it gets very bright in cold weather. I caprured images from the sidewalk and had to research to find its name of Sedum Rupestre Angelina.