Thanks for the tip! According to this website, it looks like it’s sedum microcarpum, though it looks nothing like the picture on the species’ Wikipedia page. That looks more like this plant: Could they be the same species?

Edit: from an image search it looks like the answer is yes! I wonder why it can look so different.